/why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

Primary LanguageAgda

Watchers