Giters
Alex1005a
/
Idris2-HVM
HVM backend for Idris 2 (lazy)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
3
Issues:
1
Forks:
1
Alex1005a/Idris2-HVM Stargazers
eduhenke
Ilya Zuev
Hofsiedge
Kiara Grouwstra
KiaraGrouwstra
Micah
micahscopes
Kamil Shakirov
ska80
Stanislav Alekseev
WeetHet
Ilmari Vacklin
wolverian