文件名称：Agda 1-开源
文件大小：8.2MB
文件格式：ZIP
更新时间：2024-06-04 05:05:13
开源软件
Agda是一个用于逐步开发证明和程序的系统。 这是PREVIOUS Agda（Agda 1）的sourceforge项目。 可从以下网站获得Beta测试的较新版本的Agda（Agda 2）：http：//wiki.portal.chalmers.se/agda/
【文件预览】：
Agda-1.0.2-ppc.mpkg
----Contents()
--------Resources()
--------PkgInfo(8B)
--------Info.plist(1KB)
--------Packages()
._Agda-1.0.2-ppc.mpkg