阿格达2

请注意，本README只是关于Agda，而不是其标准库。请参阅阿格达维基有关库。

文档

• 用户手册
• CHANGELOG公司

入门

• 前提条件
• 安装
• Agda编辑、类型检查和编译快速指南代码

攻击Agda

前往哈金