下 下载 载 载并 并 并安 安 安装 装 装 如果你满足所有的前提需求，那么安装 奉 奤 奲 奩 女 的最简方式就是在命令行输入： cabal update; cabal install idris 这会安装 奈奡奣 奫 奡奧奥 中的最新版本及其所有依赖。如果你想要最新开发版的话， 可以在 奇 奩 奴 奈奵 奢 上找到 它， 然后根据构建指令来安装。 如果你之前从未安装过使用 奃 奡奢 …