阿格达
最新的
概述
入门
阿格达是什么?
安装
Agda中的“Hello world”
尝一尝阿格达
教程列表
语言参考
工具
贡献
Agda团队和许可证
阿格达
入门
入门
¶
阿格达是什么?
依赖类型
安装
从源安装
预装包和系统特定说明
安装开发版本
安装标志
安装Agda的多个版本
Agda中的“Hello world”
你好,阿格达!
你好,世界!
尝一尝阿格达
前期工作
使用相关类型编程:向量
Agda作为证明助手:证明加法的关联性
构建可执行的Agda程序
接下来该去哪里?
教程列表
关于Agda的书籍
教程和课堂讲稿
Agda上的视频
使用Agda的课程
其他
阅读文档
v: 最新的
版本
最新的
v2.6.4.3版
v2.6.4.2版
v2.6.4.1版
2.6.4版
2.6.3版
2.6.2.2版
v2.6.2.1版
2.6.2版
v2.6.1.3版
v2.6.1.2版
v2.6.1.1版
2.6.1版
v2.6.0.1版
2.6.0版
第2.5.4.2节
v2.5.4.1版
第2.5.4节
第2.5.3节
第2.5.2节
每晚
下载
pdf格式
关于阅读文档
项目主页
生成