/cubical

Implementation of Univalence in Cubical Sets

Primary LanguageHaskellMIT LicenseMIT

Stargazers