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