Experimental implementation of Cubical Type Theory
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.