【文件属性】：
文件名称：agda:Agda 是一种依赖类型的编程语言交互式定理证明器
文件大小：7.91MB
文件格式：ZIP
更新时间：2021-07-23 18:16:29
programming-language dependent-types proof-assistant type-theory agda
阿格达2
请注意，此 README 仅关于 Agda，而不是其标准库。 有关该库的，请参阅 。
文档
（每个提交的 pdf 可以从页面下载）
入门
安装
编辑、类型检查和编译 Agda 代码的快速指南
为 Agda 做贡献
贡献方法： HACKING
Haskell 风格指南