Geeks
effectfully
/
Eff
Experiments with effect systems
Primary Language
Agda
Eff GitHub
Markdown
Readme
0
Issues
12
Stargazers
3
Watchers
Watchers
neko-kai
effectfully
eemailme