jstolarek/why-dependent-types-matter Companion code for "Why Dependent Types Matter" paper. Stars 60 New stars 0 Language Agda Website