GitHub repository: JonasHoefer/poset-type-theory
Primary language: Haskell
Description: Experimental implementation of a Cubical Type Theory modeled by presheaves over posets