Geeks
strangemonad
/
cart-cube
Cartesian Cubical Type Theory
Primary Language
Agda
cart-cube GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
No issues in this repository yet.