来自Agda Wiki

主要:文档

发行说明

手册

如何操作

出版物

使用Agda的论文

使用Agda的课程

此页面已移至https://agda.readthedocs.io/en/latest/getting-started/tutorial-list.html课程-使用agda

小案例研究

其他

检索自https://wiki.portal.chalmers.se/agda/Main/Documentation网站
页面上次修改时间:2022年11月4日上午09:58