GitHub repository: mattia-furlan/CTT
Primary language: Haskell
Description: Haskell implementation of Cubical Type Theory