Geeks
b-studios
/
idris-effekt
Delimited control effects in Idris
Primary Language
Idris
MIT License
MIT
idris-effekt Home Page
idris-effekt GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Watchers
jhcloos
phischu