手册
如何操作
出版物
- 乌尔夫·诺雷尔。基于依赖类型理论的实用程序设计语言查尔默斯理工大学博士论文,2007年。
- 本特·诺德斯特伦(Bengt Nordström)、肯特·佩特森(Kent Petterson)、扬·史密斯(Jan Smith)。Martin-Löf类型理论中的程序设计牛津大学出版社,1990年。
- 本特·诺德斯特伦(Bengt Nordström)、肯特·佩特森(Kent Petterson)、扬·史密斯(Jan Smith)。马丁·洛夫的类型理论《计算机科学逻辑手册》,OUP,2000年。
使用Agda的课程
此页面已移至https://agda.readthedocs.io/en/latest/getting-started/tutorial-list.html课程-使用agda
小案例研究
其他