Giters
GunpowderGuy
/
idris-learning
trying to make sense of an experimental language
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
0
Watchers:
1
Issues:
0
Forks:
0
idris-learning
trying to make sense of an experimental language
About
trying to make sense of an experimental language
Languages
Language:
Scheme
100.0%
Language:
Idris
0.0%
Language:
Shell
0.0%
Language:
Standard ML
0.0%