Geeks
Alex1005a
/
Idris2-HVM
HVM backend for Idris 2 (lazy)
Primary Language
Idris
Idris2-HVM GitHub
Markdown
Readme
1
Issue
7
Stargazers
3
Watchers
Stargazers
eduhenke
Higher Order Company
Hofsiedge
Moscow, Russia
KiaraGrouwstra
BIJ1
micahscopes
Minneapolis
ska80
Bishkek, Kyrgyzstan
WeetHet
wolverian
@reaktor