idris-lang/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
HaskellNOASSERTION
Stargazers
No one’s star this repository yet.
An empty code generator, to be used as a starting point for any new back ends.
HaskellNOASSERTION
No one’s star this repository yet.