Agda 1 1.0.2

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

关于 Agda 1

Agda 是一个逐步开发校样和程序的系统。这是前Agda(Agda 1)的源叉项目。测试版测试中的 Ada (Agda 2) 的较新版本可从: http://wiki.portal.chalmers.se/agda/