This repository is not active
sborrazas/agda-tutorial
My solutions for the Agda tutorial http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
Agda
My solutions for the Agda tutorial http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
Agda
This repository is not active