Geeks
gallais
/
agda-sizedIO
IO using sized types and copatterns
Primary Language
Agda
GNU General Public License v3.0
GPL-3.0
agda-sizedIO Home Page
agda-sizedIO GitHub
Markdown
Readme
2
Issues
33
Stargazers
3
Watchers
Watchers
eemailme
gallais
Glasgow, Scotland
jhcloos