GitHub repository: nponeccop/cubicaltt
Primary language: Haskell
Description: Experimental implementation of Cubical Type Theory