Geeks
ziman
/
idris-benchmarks
Some benchmarks for Idris
Primary Language
Idris
idris-benchmarks GitHub
Markdown
Readme
0
Issues
12
Stargazers
4
Watchers
Watchers
AleXoundOS
Tbilisi, Georgia
emccorson
Glasgow, UK
jhcloos
ziman