Giters
AndrasKovacs
/
staged
Staged compilation with dependent types
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
132
Watchers:
13
Issues:
3
Forks:
3
AndrasKovacs/staged Issues
Intuition around types
Closed
2 years ago
Q: How records/coproducts with labels (rows?) normally formalized in staging?
Closed
2 years ago
Comments count
4
What is the current idea about closures in design?
Closed
3 years ago
Comments count
8