Geeks
redfish64
/
idris2_learn
some examples of various idris2 syntax
Primary Language
Idris
idris2_learn GitHub
Markdown
Readme
0
Issues
1
Stargazer
4
Watchers
Watchers
eemailme
jhcloos
redfish64
Taiwan
tinlyx