Solutions for http://people.inf.elte.hu/divip/AgdaTutorial/Index.html
Primary LanguageAgda
No one’s star this repository yet.