安装
Debian/Ubuntu
预构建包可用于Debian测试/不稳定和Karmic以后的Ubuntu。安装步骤：
这应该会安装Agda和Emacs模式。
标准库在Debian testing/unstable和Lucid以后的Ubuntu中可用。安装步骤：
费多拉
Agda包装在Fedora（自Fedora 18之前）。
将拉入emacs-agda-mode和ghc-agda-devel。
尼克斯
Agda是Nixpkgs系列的一部分http://nixos.org/nixos。要安装Agda，请键入：
nix-env-iA haskellPackages。阿格达
如果您只对库感兴趣，也可以在不安装可执行文件的情况下安装库。不过，目前无论是emacs模式还是Agda标准库都不会自动安装。
操作系统X
自制软件提供了OS X的预构建包。要安装，请执行以下操作：
这将花费不到一分钟的时间，并将Agda与Emacs模式和标准库一起安装。
默认情况下，标准库安装在/usr/local/lib/agda/。要使用标准库，可以方便地添加/usr/local/lib/agda/standard-library.agda-lib到~/.agda/库，并指定标准实验室在里面~/.agda/默认值。请注意，这不是自动执行的。
也可以安装--没有stdlib,--没有ghc，或来自--头部。请注意，这需要从源代码构建Agda。
有关更多信息，请参阅自制文档.