最新版本
2024-03-06: Agda 2.6.4.3版 ( 所有版本 ) 2023-12-12: Agda标准库2.0 ( 所有版本 )
入门
更多信息
Agda会议
Agda实施者会议三十七| 将于2024年5月13日星期一至18日星期六在英国威尔士斯旺西举行。 Agda实施者会议三十七 于2023年11月20日星期一至2023年10月25日星期六在台湾台北举行,与 APLAS 2023年 . Agda实施者会议三十六 2023年5月10日星期三至2023年6月16日星期二在代尔夫特举行。 过去的 Agda会议 .