Formalization of a lazy lambda calculus semantics
Primary LanguageAgda
No issues in this repository yet.