ergo:智能法律合同的语言 源码

介绍 这是Ergo编译器的源代码。 Ergo是用于智能法律合同的语言。 Ergo编译器作为分发。 Ergo编译器使用证明助手编写,并使用编写解析和支持代码。 它广泛使用进行代码生成和类型检查。 Ergo语言及其编译器都处于早期开发阶段。 如果您想从源代码构建或贡献,请查阅文件。 在线尝试Ergo 如果您想在不安装任何东西的情况下浏览一下Ergo,请查看适用于Ergo独立版本的交互式 (read-eval-print-loop),或在中说明Ergo的 。 文献资料 最新的Ergo文档在《 。 代码库的结构 顶级存储库(ergo),带有子软件包。 每个子包都使用lerna作为独立的npm模