GitHub repository: mortberg/yacctt
Primary language: Haskell
Description: yacctt: Yet Another Cartesian Cubical Type Theory