Inigo Inigo是Idris2的软件包管理器，可以帮助使用和共享Idris代码。 注意：该项目处于alpha测试状态。 可以预见，在可预见的将来，这一点将发生重大变化。 随时进行测试和实验，并提出更改建议。 安装 首先，您需要安装inigo 。 注意：目前，我们仅在客户端上支持Javascr ipt代码生成，但是我们计划尽快为Chez和其他代码生成添加支持。 您可以从下载发行也可以自举。 下载发行版 从页面下载。 将文件安装到您的路径中，并确保其可执行。 curl -L https