Geeks
MarcelineVQ
/
idris2-streaming
Effectful Streaming for Idris
Primary Language
Idris
Other
NOASSERTION
idris2-streaming GitHub
Markdown
Readme
0
Issues
14
Stargazers
3
Watchers
Watchers
jhcloos
MarcelineVQ
ska80
Bishkek, Kyrgyzstan