Agda 1 1.0.2

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

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

版本历史记录

  • 版本 1.0.2 发布于 2008-04-23
    若干修复和更新
  • 版本 1.0.2 发布于 2008-04-23

软件信息