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