0
OSXにagda-modeをインストールしようとしています。私は公式ガイド（いくつか他のものも試しました）に従っていましたが、それを働かせるようには見えません。 Emacsの/ AquamacsをロードするときOSX El Capitanにagda-modeをインストールするには？
私は次のエラーを取得する：
Warning (initialization): An error occurred while loading `/Users/is7s/.emacs':
File error: Searching for program, no such file or directory, /bin/false
To ensure normal operation, you should investigate and remove the
cause of the error in your initialization file. Start Emacs with
the `--debug-init' option to view a complete error backtrace.
私は通常、手動でインストールGHCと秘密結社のサンドボックスを使用します。しかし、私はHaskell Platformをインストールして、必要なものすべてがその場所にあることを確認しました。
[Agda Writer]（https://github.com/markokoleznik/agda-writer）が好きかもしれません - OS XでのEmacsの代わり。 – user3237465
免責事項：Agda Writerの著者はこちら。 Agda Writerに満足していない場合は、Agda-modeパッケージのAtomエディタもチェックしてください。しかし、Agda WriterにはコンパイルされたAgdaが付属しているため、インストールは必要ありません。さらなるご質問がある場合は、お尋ねください。 – markich
@markich私はこの問題に直面したときにAgda Writerを試しましたが、Agdaスクリプトを読み込もうとすると「複数のファイルを読み込めません」というエラーが表示されました。 – is7s