Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. PetitLambda

PetitLambda 0.1

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

Переводчик исчисления ламбды. Он показывает процесс сокращения сроков lambda. Поддерживается несколько стратегий оценки. Формат вывода может быть выбран из LaTex, простой текст.

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

  • Версия 0.1 размещено на 2006-11-07
    Несколько исправлений и обновлений
  • Версия 0.1 размещено на 2006-11-07

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

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

  • UK Bank Holidays Бесплатная пробная версия

    Просмотр и добавление банковских праздников Великобритании в календарь одним щелчком мыши, набор напоминаний и многое другое! Подключение к данным не требуется!Это приложение показывает даты и информацию о банковских праз

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

    YAams - Еще одна передовая система производителя - YAams являются редактором для создания 2D-игр без каких-либо знаний программы. Его остроумный в Java и плагин

  • Ant Quick Start Guide for DITA-OT Бесплатный

    Версия этого руководства GA/RTM была перео чем-то выпущена под лицензиями Apache 2.0 и Common Public License 1.0 и пожертвована проекту DITA Open Toolkit, версии 1.5.2. Я активно поддерживать его там и поддержку DITA XML прин

  • Tree Lock Screen Бесплатный

    Это новый и специальный экран блокировки приложение для андроида. Нет блокировки, нет пароля и нет сканирования отпечатков пальцев в этом инструменте разблокировки. Дерево коробки - это дверь в ваш телефон. Часто задаваемые в

  • C-pretter Бесплатный

    Проект мой и группа друзей будет называться «квота;C-преттер»-цитата;. Она будет включать в себя создание переводчика СЗ на языке Delphi. Первая версия этого проекта будет включать в себя элементы языка СЗ, такие как: Перемен

  • wxWindows Project Manager for VC7 Бесплатный

    Набор инструментов для упрощения использования wxWindows с visual C-7.

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

    SPACS является продолжением для Macromedia / Adobe Flash, что автоматизирует флэш-учебник создания. Используя панель SPACS, пользователи представляют последовательность изображений, определяют точки доступа, которые вызывают

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

    Серверный трекер Distcc на базе Java. Позвольте клиентам легко и безболезненно обновлять файл хостов, чтобы отразить доступные серверы Distcc на ферме.

  • ARS Object History Бесплатный

    Исправление истории определения рабочего процесса объектов рабочего процесса ARSystem, измененных с помощью операций, связанных с администратором. Сохраняет историю работать всех определений объектов в форме Remedy.

  • Brick Remote Бесплатный

    Brick Remote — это приложение Gnome для управления кирпичом LEGO RCX. Он использует LNP для связи с RCX. Это позволяет контролировать три выхода двигателя и контролировать три ввода датчика. Это требует brickOS на RCX и по