教程列表

注释

本页上链接的一些材料是为以下对象创建的旧版本的Agda可能不再直接应用于最新版本。

关于Agda的书籍

教程和课堂讲稿

Agda上的视频

使用Agda的课程

其他