/Idris-HoTT

Homotopy Type Theory in Idris

Primary LanguageIdris

No issues in this repository yet.