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 つのプロセッサ (最大) を使用できるようにしたので、それがオプションになるとは思えません。どんな助けでも大歓迎です。