Question

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

我能够安装Haskell平台，当我运行cabal更新时，它可以工作。我跑的时候：

cabal install agda

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

时出现问题

$ agda-mode setup

输出

-bash: agda-mode: command not found

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

Answer 1

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