Geeks
jheiling
/
idris-extras
Some useful functions for idris
Primary Language
Idris
The Unlicense
Unlicense
idris-extras GitHub
Markdown
Readme
1
Issue
0
Stargazers
4
Watchers
idris-extras