agda - 在 Windows 7 上安装 Agda

Question

我在 Windows 7 64 位电脑上运行 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

Install Agda (cabal install agda agda-executable),确保 agda-mode.exe在搜索路径上。这是必需的，因为安装程序会将类似 (shell-command-to-string "agda-mode.exe locate" ) 的内容放入 .emacs 文件。

运行“agda 模式设置”。

我的 Emacs bin 目录也在搜索路径上，但我不确定它是否需要。无论如何，如果您做错了什么，您将收到错误消息。

您还需要 Haskell 模式( can be obtained from here https://github.com/haskell/haskell-mode )并且您必须将( load "c:\\haskell\\dev\\haskell-mode\\haskell-site-file.el" )添加到您的 .emacs 文件中。我在 Agda 之前加载它，我真的不知道加载顺序是否重要。