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
软件信息
- 软件分类: 教育 > 其他
- 发布者: unit.aist.go.jp/cvs/Agda/
- 许可: 免费
- 价格: N/A
- 版本: 1.0.2
- 适用平台: windows