Companion code for "Why Dependent Types Matter" paper.
Primary LanguageAgda
No issues in this repository yet.