Agda 1 1.0.2
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
关于 Agda 1
Agda 是一个逐步开发校样和程序的系统。这是前Agda(Agda 1)的源叉项目。测试版测试中的 Ada (Agda 2) 的较新版本可从: http://wiki.portal.chalmers.se/agda/
相关软件
-
Survival Medicine Guide 免费试用
"需要免费的 Adobe 阅读器"***这是一个生存医学指南,以防我们都害怕真的发生。这是一个伟大的恭维任何良好的生存手册。当您需要时,此信息可能不可用。现在就拿,准备好。这个生存医疗指南是必须的!!这本书超过200页,需要一分钟加载一旦安装。该书采用PDF格式,需要免费的Adobe阅读器。现在可搜索和照片!!这个程序留在您的手机或设备,不需要互联网接入。我们仅使用 Google 添加信息,不收集除 Goog
-
terz 免费
Terz 令人难以置信的自动塔格尔是一个自动音频文件标签和文件重命名器。它使用音乐脑提供的信息。通过使用上下文信息 Terz 取得了非常好的结果。其他功能: 显示不完整的专辑, 搜索重复...
-
Lua ODE 免费
Lua ODE 是用于 Windoze、OS X 和 Linux 平台的 Lua 语言的 OpenDE 绑定。
-
assistent-fah 免费
辅助Folding@home客户端日志计算计算机在Folding@home计算项目中的平均速度。根据 GNU Folding@home许可证获得许可的协助
-
Spanish Tester Lite 免费试用
西班牙语测试人员 Pro 通过生成模拟测验问题,在西班牙语动词结合和语音部分之间的一致性上测试您。多选题和填空题测试以下 15 种动词形式的知识:+中点;现在•中点;未来•中点;不完美+中点;前点+中点;条件•中点;呈现完美•中点;未来完美・中点;完美+中点;条件完美+中点;当前子词+中点;不完美的副词+中点;呈现完美的副词•中点;完美副词+中点;势在必行+中点;负命令和
-
IRBEM-LIB 免费
IRBEM-LIB 提供例程,用于计算地球磁场中任何位置的磁坐标、执行坐标转换、评估地球物理/空间物理模型以及及时传播轨道。
-
libTopo 免费
libTopo 和 TopoMap 是用于使用、转换、分析和显示地形图的工具,如 ETOPO2、ETOPO5 和 GLOBE。TopoMap 是将地形数据库转换为原始数据、图像等的命令行接口。
-
Nanodesigner 免费
纳米设计者是分子纳米技术研究的软件平台。它有一个插件架构,将包括分子可视化和建模工具,复杂新分子的设计,分子动力学,...
-
Analysis & Reconstruction Sound 免费
分析与重建声音引擎将声音文件分析为光谱图,并能够将此光谱图或任何其他用户创建的图像合成为声音。
-
G200X Motion controller 免费
Geckodrive G200X 运动控制器的固件和 GUI 代码