haskell - 在 Mac OS X Mavericks 上安装 Agda

Question

我在我的 Mac 上安装 agda 时遇到问题。我从这里接受我的指示：

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX

我能够安装 Haskell 平台，并且当我运行 cabal update 时它可以工作。当我运行时：

cabal install agda

它最初是安装的，现在它为我提供了重新安装的选项，所以我相信这是正确的。当我运行最后一个命令时出现问题，

$ agda-mode setup           

它输出

-bash: agda-mode: command not found

我也尝试在我的虚拟机上安装，因为 Windows 安装似乎要容易得多，但是当我尝试运行 .msi 文件时，我收到“此文件与您的处理器不兼容”的错误消息。我允许虚拟窗口最多使用 8 个处理器（最大值），所以这似乎不是一个选择。任何帮助将不胜感激。

Answer 1

在将 ~/.cabal/bin 添加到 PATH 后，我遇到了同样的问题。