Geeks
buzden
/
idris-playground
Personal playground for Idris stuff
Primary Language
Idris
Creative Commons Zero v1.0 Universal
CC0-1.0
idris-playground GitHub
Markdown
Readme
0
Issues
5
Stargazers
2
Watchers
Watchers
buzden
jhcloos