来自Agda Wiki
主要:2.0.0版
这是帖子
AIM6公司
Agda版本。
功能包括:
诱导型家庭。
with-construct。
记录。
结构递归的终止检查器。
Alonzo编译器。
色彩绚丽的Emacs模式。
下载
请参阅
版本策略
版本号的含义。
检索自
https://wiki.portal.chalmers.se/agda/Main/Version-2-0-0
页面上次修改时间:2007年6月4日下午02:31