Geeks
ziman
/
idris2-perf
Various benchmarks
Primary Language
Idris
idris2-perf GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
ska80
Bishkek, Kyrgyzstan