/Idris2-HVM

HVM backend for Idris 2 (lazy)

Primary LanguageIdris

Stargazers