thautwarm/Quick-Backend

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

语言：TeX · GitHub 星标：25 · Fork：1

话题：code-generation · compiler-backend · idris

在 GitHub 上查看原仓库