Giters
Eggy115
/
Idris
Idris
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
1
Issues:
0
Forks:
Idris
Idris
About
Idris
License:
GNU General Public License v3.0
Languages
Language:
Idris
100.0%