Companion code to CMU course on Homotopy Type Theory
Primary LanguageAgdaThe UnlicenseUnlicense
No issues in this repository yet.