being the programs and code for a paper about general recursion
Primary LanguageAgda
No issues in this repository yet.