An Agda Tutorial (fork of divip's AgdaTutorial)  (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)

no issues!

there don't seem to be any issues for this project.