Geeks
gauntwa
/
learning-idris
My idris learning exercises
Primary Language
Idris
learning-idris GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
ardave
Remote