Geeks
effectfully
/
Eff
Experiments with effect systems
Primary Language
Agda
Eff GitHub
Markdown
Readme
0
Issues
12
Stargazers
3
Watchers
No issues in this repository yet.