/Idris-HoTT

Homotopy Type Theory proofs in Idris

Primary LanguageIdris

Watchers