Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Primary LanguageHaskellMIT LicenseMIT