An introductory course to Homotopy Type Theory
Primary LanguageAgdaCreative Commons Attribution 4.0 InternationalCC-BY-4.0
No issues in this repository yet.