Idris2 Erlang:用于Idris 2的Erlang代码生成器 源码

伊德里斯2-埃尔朗 Erlang代码生成器。 当前,该存储库包含Idris 2编译器的完整副本,但是在某些时候,我想将此存储库变成独立的代码生成器。 请注意,该项目仍在进行中。 反馈和贡献表示赞赏! 关于伊德里斯2 Idris 2是具有一流类型的纯函数式编程语言。 Idris 2的开发由领导。 有关Idris 2的更多信息,请访问: 关于Erlang代码生成器 目标 使与Erlang的互操作变得容易。 类型安全:即使与Erlang进行互操作,也应该很难偶然引入运行时错误。 非目标 使生成的Erlang代码可读。 当前支持的功能 将Idris 2程序编译为Erlang源代码或编译为BEA