Agda-2.6.2.2的自述文件

阿格达2

黑客版本 堆叠版本 测试 通过GH操作的堆栈构建状态 文档状态 阿格达·祖利普

Agda官方标志

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

文档

入门

对Agda的贡献