Idris2构建工具和包管理器下载
idris2是一个强类型函数式编程语言，并提供了构建工具和包管理器Idris Shell。该工具可帮助用户以模块化的方式组织和管理应用程序。Idris2 Shell具有高效的依赖项解决方案，因此在项目中使用它将使包依赖项的管理变得更加简单和可靠。欢迎下载使用Idris2构建工具和包管理器！
下载地址
用户评论
