Geeks
mikeshulman
/
cubicaltt
Experimental implementation of Cubical Type Theory
Primary Language
Haskell
MIT License
MIT
cubicaltt Home Page
cubicaltt GitHub
Markdown
Readme
0
Issues
2
Stargazers
4
Watchers
Stargazers
dpl0a
jeroennoels
Olen, Belgium