JonasHoefer/poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
HaskellMIT
Issues
- 1
Non-exhaustive pattern in `\case`
#3 opened by jrosain - 1
Syntax error on line-breaked `let`
#2 opened by jrosain
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
HaskellMIT