inigo:Inigo:Idris2的软件包管理器 源码

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