Idris2构建工具是一款高效、容易使用的工具，能够帮助您快速构建应用程序。同时，Idris_Shell也是一款开发者必备的包管理工具，支持安装、更新、卸载等多种功能。在这里，您可以下载Idris2构建工具以及Idris_Shell包管理器，快速构建您的应用程序。