calculus with polymorphism and flow-sensitive if-statements
Primary LanguageAgda
No issues in this repository yet.