最新版本
2024-09-03: Agda标准库2.1.1 ( 所有版本 ) 2024-08-16: 阿格达2.7.0 ( 所有版本 ) 2024-03-06: Agda 2.6.4.3版 ( 所有版本 )
入门
安装Agda 在您自己的PC上,或使用 Agda Pad公司 . 让你的脚沾湿 阿格达的味道 . 阅读其中一个 语言教程 . 在上提出任何问题 Agda邮件列表 或在 Agda Zulip服务器 .
更多信息
Agda会议
Agda实施者会议XXXIX 将于2024年11月25日星期一至30日星期六在瑞典哥德堡举行。 Agda实施者会议三十七| 2024年5月13日星期一至18日星期六在英国威尔士斯旺西举行。 Agda实施者会议三十七 于2023年11月20日星期一至2023年10月25日星期六在台湾台北举行,与 APLAS 2023年 . Agda实施者会议三十六 2023年5月10日星期三至2023年6月16日星期二在代尔夫特举行。 过去的 Agda会议 .