提交软件
  1. 首页
  2. Linux软件
  3. 其他
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

许可： 免费 ‎文件大小： N/A
‎用户评分： 4.0/5 - ‎1 ‎评分
点击下载

LCI 是 lambda 微积分的翻译。它支持许多进步功能，如整数、递归、用户定义的运算符和多个评估策略。

版本历史记录

  • 版本 0.6 发布于 2008-02-14
    若干修复和更新
  • 版本 0.6 发布于 2008-02-14

软件信息

相关软件

  • Universal SQL Gateway 免费

    通用 SQL 网关通过实现特殊的 JDBC 驱动程序通过 HTTP 通过防火墙隧道 SQL 请求。它通过充当通常称为应用程序网关的防火墙组件来提供安全的数据库 acces。

  • Dev65 免费

    Dev65 是 6501、6502、65C02、65816 和 65832 系列微处理器的宏汇编器、链接器和图书管理员套件，这些微处理器系列在 Java 中编码，可移植性。该代码基于一个框架，可以支持其他系统体系结构。

  • GameDirector 免费

    GameDirector Ver 0.1 开发构建 10 18-11 月 10 日。GameDirector 是基于 Ogre 引擎的一种新的游戏开发系统，目前是一种重大开发系统。

  • Flash and Boom 免费试用

    闪电距离测量应用。几秒钟后，一闪一闪的雷声随之而来。闪光和动臂应用程序利用这个时间来确定您与冲击点之间的距离！

  • Network Transparent Widgets (ntw) 免费

    NTW 是一个跨平台客户端/服务器协议和小部件工具包，允许高效的远程操作，即使在慢速网络。 其目标是能够通过一台廉价的服务器为数百个远程客户端提供服务。

  • subtex 免费

    子特是LaTeX的XML版本，这是流行的排版系统。它包含乳胶命令的子集（因此SUBtex），但也包含许多改进，包括一个神话般的内置书目系统。在 XML 中使用 LaTeX 标记！是的！

  • LogJana 免费

    logjana 程序是 jana 代理服务器 V2 的日志程序。它在时间文件中拆分主日志文件.log代理"和"代理"。主日志文件 "代理.log"不会更改。如有疑问，请发送电子邮件到迈克尔.wiechert（at）goo

  • elisa 免费

    Elisa 是一个C++和约束求解技术的开放式库。 用于解决连续约束的基于间隔的算法http://sf.net/projects/gaol已安装在您的系统上。

  • PersianDate 免费

    用于将波斯历和公历之间的日期和一些帮助器类转换为递增日期的 c++ 库...

  • Ada 2005 Math Extensions 免费

    Ada 2005 标准定义了真实和复杂的矩阵和矢量操作。并不是每个可能的操作都受支持，因此，例如，只能解决对称矩阵或赫米提亚矩阵。此项目提供 GNAT 标准的扩展。