图书馆
请注意标准库未与以下所述的所有软件包捆绑，并且其他库也可以使用。
来源
最新版本
安装Agda的首选方法是黑客攻击（参见说明在这里). 如果在安装过程中遇到问题，请查看入门.
开发版本
开发版本包含尚未发布的最新功能和错误修复。
git克隆https://github.com/agda/agda.git
旧版本
- 2022-08-15:版本2.6.2.2版本2(发行说明,安装说明，GHC 8.0-9.4）。
- 2022-04-02:版本2.6.2.2(发行说明,安装说明，GHC 8.0-9.2）。
- 2021-12-08:版本2.6.2.1(发行说明,安装说明，GHC 8.0-9.2）。
- 2021-06-19:版本2.6.2(发行说明,安装说明，GHC 8.0-9.0）。
- 2021-02-07:版本2.6.1.3(发行说明,安装说明，GHC 8.0-8.10）。
- 2021-02-03:版本2.6.1.2(发行说明,安装说明，GHC 8.0-8.10）。
- 2020-09-08:版本2.6.1.1(发行说明,安装说明，GHC 8.0-8.10）。
- 2020-03-16:版本2.6.1(发行说明,安装说明，GHC 8.0-8.8）。
- 2019-05-17:版本2.6.0.1(发行说明,安装说明，GHC 7.10-8.6）。
- 2019-04-12:2.6.0版(发行说明,安装说明，GHC 7.10-8.6）。
- 2018-10-29:版本2.5.4.2(发行说明,安装说明，GHC 7.10-8.4）。
- 2018-07-19:版本2.5.4.1(发行说明,安装说明，GHC 7.10-8.4）。
- 2018-06-02:2.5.4版(发行说明,安装说明，GHC 7.10-8.4）。
- 2017-09-08:2.5.3版(发行说明,安装说明，GHC 7.8-8.2）。
- 2016-12-22:2.5.2版(发行说明,安装说明，GHC 7.6-8.0）。
- 2016-11-25:版本2.5.1.2(发行说明,安装说明，GHC 7.6-8.0）。
- 2016-06-21:版本2.5.1.1(发行说明,安装说明，GHC 7.6-7.10）。
- 2016-04-16:2.5.1版(发行说明,安装说明，GHC 7.6-7.10）。
- 2015-12-18:版本2.4.2.5(发行说明,安装说明，GHC 7.6-7.10）。
- 2015-09-26:版本2.4.2.4(发行说明,安装说明，GHC 7.6-7.10）。
- 2015-05-25:版本2.4.2.3(发行说明,安装说明，GHC 7.4-7.10）。
- 2014-11-26:版本2.4.2.2(发行说明,安装说明，GHC 7.0-7.8）。
- 2014-11-14:版本2.4.2.1(发行说明,安装说明，GHC 7.0-7.8）。
- 2014-08-29:2.4.2版(发行说明,安装说明，GHC 7.0-7.8）。
- 2014-07-29:版本2.4.0.2(发行说明,安装说明，GHC 7.0-7.8）。
- 2014-06-20:版本2.4.0.1(发行说明,安装说明，GHC 7.0-7.8）。
- 2014-06-05:2.4.0版(发行说明,安装说明，GHC 7.0-7.8）。
- 2013-10-30:版本2.3.2.2(发行说明,安装说明).
- 2013-06-10:2.3.2.1版(发行说明,安装说明).
- 2012-11-12:2.3.2版(发行说明,安装说明).
- 2011-11-23:2.3.0.1版(发行说明,安装说明).
- 2011-02-20:2.2.10版(发行说明,安装说明).
- 2010-09-27:2.2.8版(发行说明,安装说明).
- 2009-12-23:2.2.6版(发行说明,安装说明).
- 2009-07-09:2.2.4版(发行说明,安装说明).
- 2009-04-16:版本2.2.2(发行说明).
- 2009-03-17:2.2.0版(发行说明).
- 2.1.2版(发行说明).
- 2.1.0版(发行说明).
- 2.0.1版（错误修复版本）。
- 2.0.0版(发行说明).
安装（旧的/过时的说明）