Geeks
trillioneyes
/
idris-toys
An eclectic collection of beginner Idris code
Primary Language
Idris
idris-toys GitHub
Markdown
Readme
0
Issues
6
Stargazers
2
Watchers
Watchers
esmooov
NYC
trillioneyes