Geeks
ziman
/
idris-benchmarks
Some benchmarks for Idris
Primary Language
Idris
idris-benchmarks GitHub
Markdown
Readme
0
Issues
12
Stargazers
4
Watchers
No issues in this repository yet.