GitHub repository: mcmtroffaes/AgdaTutorial
Primary language: Agda
Description: Git fork of http://hub.darcs.net/divip/AgdaTutorial