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