Geeks
diakopter
/
Idris2-SH
Idris2s all the way down
Primary Language
Scheme
Idris2-SH Home Page
Idris2-SH GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
No issues in this repository yet.