idris-cam：后继者：https：github.comthautwarmQuick-Backend

idris-cam Idris RTS的框架。 功能（按优先级列出） 一些中间表示的抽象（通用抽象机器，又名CAM） 后端：Python AST 后端：Julia AST 使用Idris IR保留位置，例如DDecls。 Python标准库 方便的FFI 消除尾声 后端：Python字节码 一些原始数据类型的专业化 增量编译 Build && Cam Codegen 建立 git clone https://github.com/thautwarm/idris-cam && cd idris-cam stack build 码元 stack exec idris --