GitHub repository: jstolarek/why-dependent-types-matter
Primary language: Agda
Description: Companion code for "Why Dependent Types Matter" paper.