/Totality

being the programs and code for a paper about general recursion

Primary LanguageAgda

Totality

being the programs and code for a paper about general recursion