Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов
Скачать

LCI является переводчиком для исчисления лямбды. Он поддерживает многие функции достижений, такие как интеграторы, рекурсия, операторы, определяемые пользователем, и несколько стратегий оценки.

история версии

  • Версия 0.6 размещено на 2008-02-14
    Несколько исправлений и обновлений
  • Версия 0.6 размещено на 2008-02-14

Подробная информация о программе

Похожие программы

  • Universal SQL Gateway Бесплатный

    Универсальные туннели шлюза S'L запрашивает через брандмауэры через HTTP путем реализации специального драйвера JDBC. Он обеспечивает безопасные приложения базы данных, действуя в качестве компонента брандмауэра, обычно имену

  • Dev65 Бесплатный

    Dev65 является макро-сборщик, связующим звеном и библиотечным набором для 6501, 6502, 65C02, 65816 и 65832 семейство микропроцессоров, закодированных на Java для переносимости. Код основан на структуре, которая может поддержи

  • GameDirector Бесплатный

    GameDirector Ver 0.1 Devlopment Build 10 18-10 ноября. GameDirector — это новая система разработки игр, основанная на двигателе Ogre Engine, которая находится в тяжелом развитии.

  • Flash and Boom Бесплатная пробная версия

    Применение измерения расстояния молнии.Грохот грома следует через несколько секунд вспышка молнии.Flash и Boom Application используют это время, чтобы определить расстояние между вами и точкой удара!

  • Network Transparent Widgets (ntw) Бесплатный

    NTW является кросс-платформенный протокол клиента / сервера и виджет инструментарий, который позволяет эффективно удаленной работы, даже через медленные сети. Его цель состоит в том, чтобы иметь возможность обслуживать сотни

  • subtex Бесплатный

    subtex является XML версия LaTeX, популярная система набора. Он содержит подмножество команд латекса (отсюда и SUBtex), но также содержит много улучшений, включая сказочную встроенную библиографическую систему. Теги LaTeX в X

  • LogJana Бесплатный

    Программа logjana является программой журнала для прокси-сервера jana V2. Он разделяет основной журнальный файл «квота;прокси.log»; в приумных файлах. Основной журнал «квота;прокси.log»; не будет меняться. Для вопросов отправ

  • elisa Бесплатный

    Elisa – это открытая библиотека C- для разработки методов программирования ограничений и решения проблем ограничений. Алгоритмы на основе интервалов для решения непрерывных ограничений требуют, чтобы Gaol (http://sf.net/proj

  • PersianDate Бесплатный

    библиотека для преобразования даты между персидским и григорианского календаря и некоторые помощник классов на дату приращения ...

  • Ada 2005 Math Extensions Бесплатный

    Стандарт Ada 2005 определяет реальные и сложные матричные и векторные операции. Не все возможные операции поддерживаются, поэтому, например, только симметричные или отшельник матрицы могут быть решены. Этот проект предусматри