Geeks
alissa-tung
/
eff
Unusable Resource-dependent algebraic effects library in Idris 2.
Primary Language
Idris
eff GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Watchers
alissa-tung
BICMR