阿格达2

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

文档

• 用户手册（per-commit pdf可从github操作第页）
• CHANGELOG公司

入门

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

对Agda的贡献

• 贡献指南：哈金
• 哈斯克尔风格指南