下载

图书馆

请注意标准库未与以下所述的所有软件包捆绑,并且其他库也可以使用。

来源

最新版本

安装Agda的首选方法是黑客攻击(参见说明在这里). 如果在安装过程中遇到问题,请查看入门.

开发版本

开发版本包含尚未发布的最新功能和错误修复。

git克隆https://github.com/agda/agda.git

旧版本

安装(旧的/过时的说明)

页面上次修改时间:2023年1月30日下午12:15
技术支持私人维基