GitHub repository: wouter-swierstra/TPT-2014
Primary language: Agda
Created: 2015-04-21T09:23:24Z
Description: Theory of Programming and Types, academic year 2014-2015