/homotopy

My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)

Primary LanguageAgdaOtherNOASSERTION

Stargazers