Geeks
AndrasKovacs
/
cctt
high-performance cubical evaluation
Primary Language
TeX
MIT License
MIT
cctt GitHub
Markdown
Readme
1
Issue
68
Stargazers
11
Watchers
Issues
Open issue
Replace recursion with fixpoints and case trees
#15 opened
a year ago
by
AndrasKovacs
0