/Idris-HoTT

Homotopy Type Theory proofs in Idris

Primary LanguageIdris

No issues in this repository yet.