PetitLambda 0.1
Pobieranie będzie można pobrać w ciągu 5 sekund.
Możesz również kliknąć następujący link do pobierania zewnętrznego, aby rozpocząć pobieranie:
http://sourceforge.net/projects/petit-lambda/files/petit-lambda/0.1/petit-lambda.0.1.tar.gz/download
O PetitLambda
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.
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