Windows 7にAgdaをインストールする

Question

Windows 7 64ビットPCでAgdaを実行する際に問題があります。私は、次のコマンドを実行してみました：誰かが私を助けることができる仕事の両方が、私はまだそれがEmacsで行くように見えることはできません、

cabal install agda 

と

cabal install agda-executable 

？私はこの苦情に実行し、私はhereからワンクリックインストーラを試してみたが、動作していないよう：

C:\agda2\bin\agda2-install.cmd failed. 
Code = 1 
Incorrect Function 
Setup was not completed. 

Please correct the problem and run setup again 

Answer 1

私は（Haskellのプラットフォーム2011.4.0.0付き）GHC 7.0.4を持っていると私はインストールすることができ問題なくWin7 64bのAgda 2.3.0インストーラ。

あなたはGHC 7.4を持っている場合は、Agdaは2.3.0.1

Answer 2

1. Install Agda (cabal install agda agda-executable),agda-mode.exeは、検索パス上にあることを確認してみてください。インストーラは、「ファイルをの.emacsする（agda-mode.exe locate"。
2. 実行シェルコマンドの文字列） 『のようなものを置くためagdaモードの設定』。
3. 私のEmacsのbinディレクトリが検索パスにもありますが、私に必要なこれ
4. また、ハスケルモード（can be obtained from here https://github.com/haskell/haskell-mode）が必要で、あなたの.emacsに（load "c:\\haskell\\dev\\haskell-mode\\haskell-site-file.el"）を追加する必要があります。あなたが何か間違っていると、エラーメッセージが表示されます。ファイル。私はAgdaのものの前にロードする、私は実際に読み込み順序の問題がないかどうかわからない。