Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. PetitLambda

PetitLambda 0.1

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

Tłumacz lambda calculus. Pokazuje proces redukcji terminów lambda. Obsługiwanych jest kilka strategii oceny. Format wyjściowy można wybrać z LaTex, zwykły tekst.

historia wersji

  • Wersja 0.1 opublikowany na 2006-11-07
    Kilka poprawek i aktualizacji
  • Wersja 0.1 opublikowany na 2006-11-07

Szczegóły programu

Programy pokrewne

  • UK Bank Holidays Bezpłatna wersja próbna

    Wyświetlaj i dodawaj dni wolne od pracy w Wielkiej Brytanii do kalendarza za pomocą jednego kliknięcia, ustaw przypomnienia i nie tylko! Nie jest wymagane połączenie danych!Ta aplikacja pokazuje daty i informacje o dniach

  • YAams Wolna

    YAams - Kolejny zaawansowany system producentów - YAams to edytor do tworzenia gier 2D bez żadnej wiedzy programm. Jego witten w Java & pluginable

  • Ant Quick Start Guide for DITA-OT Wolna

    Wersja GA / RTM tego przewodnika została ponownie wydana w ramach licencji Apache 2.0 i Common Public License 1.0 i przekazana na projekt DITA Open Toolkit, wersja 1.5.2. Aktywnie go tam utrzymywać i wspierać przyjęcie DITA X

  • Tree Lock Screen Wolna

    Jest to nowa i specjalna aplikacja blokady ekranu dla Androida. Bez blokady, bez hasła i bez skanowania odcisków palców w tym narzędziu odblokowującym. Drzewo kartonowe to drzwi do telefonu. Często zadawane pytania:1. Jak od

  • C-pretter Wolna

    Projekt mój i grupa przyjaciół będzie się nazywać "C-pretter". Będzie to wymagało stworzenia tłumacza C++ w języku Delphi. Pierwsza wersja tego projektu będzie obejmować elementy języka C++, takie jak: Działanie zmi

  • wxWindows Project Manager for VC7 Wolna

    Zestaw narzędzi, aby uprościć korzystanie z wxWindows z Visual C++ 7.

  • SPACS Wolna

    SPACS jest rozszerzeniem dla Macromedia / Adobe Flash, który automatyzuje tworzenie samouczka flash. Za pomocą panelu SPACS użytkownicy przesyłają sekwencję obrazów, definiują punkty aktywne, które wyzwalają zestawy pytań/odp

  • DistccTracker Wolna

    Monitor serwera Distcc oparty na języku Java. Pozwól klientom łatwo i bezboleśnie aktualizować plik hostów, aby odzwierciedlić dostępne serwery Distcc w farmie.

  • ARS Object History Wolna

    Zaradzić historię definicji przepływu pracy obiektów przepływu pracy ARSystem zmienionych za pomocą operacji związanych z administratorem. Zachowuje historię uruchamiania wszystkich definicji obiektów w formularzu Remedy.

  • Brick Remote Wolna

    Brick Remote to aplikacja Gnome do sterowania klockiem LEGO RCX. Wykorzystuje LNP do komunikowania się z RCX. Pozwala kontrolować trzy wyjścia silnika i monitorować trzy wejścia czujnika. Wymaga brickOS na RCX i pochodzi z