黑客攻击::[包]
主页
搜索
浏览
新增功能
上传
用户帐户
Agda-2.6.3自述文件
阿格达2
请注意,本README只是关于Agda,而不是其标准
库。
请参阅
阿格达维基
有关的信息
库。
文档
用户手册
(per-commit pdf可从
github操作
第页)
CHANGELOG公司
入门
安装
编辑、类型检查和编译Agda的快速指南
代码
对Agda的贡献
贡献指南:
哈金
哈斯克尔风格指南