Geeks
edwinb
/
SchemeEval
Experimental normalisation via scheme
Primary Language
Idris
SchemeEval GitHub
Markdown
Readme
0
Issues
12
Stargazers
4
Watchers
Watchers
alissa-tung
BICMR
edwinb
eemailme
jhcloos