Geeks
mortberg
/
yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
Primary Language
Haskell
MIT License
MIT
yacctt GitHub
Markdown
Readme
2
Issues
74
Stargazers
12
Watchers
Issues
Open issue
Is there a general way to derive these computation rules?
#4 opened
3 years ago
by
ice1000
6
Closed issue
How is eta rule for VType is implemented?
#3 opened
5 years ago
by
molikto
2