Experimental implementation of Cubical Type Theory
Primary LanguageHaskellMIT LicenseMIT
No one’s star this repository yet.