前提需求

你需要以下程序的最近版本来编译 Agda

• GHC: https://www.haskell.org/ghc/
  • Agda 已在 GHC 7.10.3、8.0.2、8.2.2、8.4.4 和 8.6.4 下通过测试。
• cabal-install: https://www.haskell.org/cabal/
• Alex: https://www.haskell.org/alex/
• Happy: https://www.haskell.org/happy/
• GNU Emacs: http://www.gnu.org/software/emacs/

你还需要确保 cabal-install 安装的程序在 Shell 的搜索路径（即 PATH 环境变量）中。

要在 Windows 下安装合适版本的 Emacs，请参阅:ref:emacs-under-windows。

非 Windows 用户需要确保 C 库 zlib* 和 ncurses* 的开发文件已经安装（见 http://zlib.net 和 http://www.gnu.org/software/ncurses/）。 你可以用包管理工具来安装这些文件。例如，在 Debian 或 Ubuntu 上以 root 权限执行以下命令就能正确地安装这些文件：

apt-get install zlib1g-dev libncurses5-dev

此外你也可以安装可选的 ICU 库，它用于实现 --count-clusters 选项。在 Debian 或 Ubuntu 上只需安装 libicu-dev 即可。 一旦安装了 ICU 库，你就可以通过为 cabal install 添加 -fenable-cluster-counting 来开启 --count-clusters 选项了。

在 Windows 上安装 Emacs

带有必要数学字体的 Emacs 24.3 版本，可访问 http://homepage.cs.uiowa.edu/~astump/agda/ 获取。