/idris-emptycg

An empty code generator, to be used as a starting point for any new back ends.

Primary LanguageHaskellOtherNOASSERTION

Issues