Implementation of (the typing rules for) homotopy type theory
Primary LanguageHaskellOtherNOASSERTION
No one’s star this repository yet.