在Windows 7上安装Agda

Question

我在我的windows764位电脑上运行Agda时遇到了问题。我尝试运行以下命令：

cabal install agda

和

cabal install agda-executable 

这两个都能用，但我还是不能使用emacs，有人能帮我吗？我试过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

1. Install Agda (cabal install agda agda-executable),确保agda-mode.exe在搜索路径上。这是必需的，因为安装程序会将类似于(shell-command- to -string "agda-mode.exe locate")的东西放到.emacs文件中。
2. 运行"agda-mode setup“。
3. 我的Emacs bin目录也在搜索路径上，但我不确定是否需要它。
4. 你还需要Haskell模式(can be obtained from here https://github.com/haskell/haskell-mode)，你必须将(load "c:\\haskell\\dev\\haskell-mode\\haskell-site-file.el")添加到你的.emacs文件中。我在Agda之前加载它，我真的不知道加载顺序是否重要。

Answer 2

我有GHC7.0.4( Haskell Platform 2011.4.0.0)，我可以毫无问题地在Win7 64b中安装AGDA2.3.0安装程序。

如果你有GHC 7.4，你应该试试Agda 2.3.0.1