idris-lang/idris-emptycg

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

语言：Haskell · GitHub 星标：52 · Fork：18

在 GitHub 上查看原仓库