Invia software
  1. Casa
  2. Linux
  3. Altro
  4. PetitLambda

PetitLambda 0.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Interprete del lambda calculus. Mostra un processo di riduzione dei termini lambda. Sono supportate diverse strategie di valutazione. Il formato di output può essere selezionato dal lattice, testo normale.

cronologia delle versioni

  • Versione 0.1 pubblicato il 2006-11-07
    Diverse correzioni e aggiornamenti
  • Versione 0.1 pubblicato il 2006-11-07

Dettagli del programma

Programmi correlati

  • UK Bank Holidays Prova gratuita

    Visualizza e aggiungi i giorni festivi del Regno Unito al tuo calendario con un solo clic, imposta promemoria e altro ancora! Non è necessaria alcuna connessione dati!Questa app mostra date e informazioni sui giorni festi

  • YAams Gratuito

    YAams - Yet Another advanced maker system - YAams è un editor per creare giochi 2D senza alcuna conoscenza del programma. Il suo witten in Java e pluginable

  • Ant Quick Start Guide for DITA-OT Gratuito

    La versione GA/RTM di questa guida è stata ripubblicata con le licenze Apache 2.0 e Common Public License 1.0 e donata al progetto DITA Open Toolkit, versione 1.5.2. Lo sto mantenendo attivamente lì e supportando l'adozione X

  • Tree Lock Screen Gratuito

    Questa è una nuova e speciale app di blocco dello schermo per Android. Nessun blocco, nessuna password e nessuna scansione delle impronte digitali in questo strumento di sblocco. Un albero di cartone è la porta del tuo telefo

  • C-pretter Gratuito

    Il mio progetto e un gruppo di amici si chiameranno "C-pretter". Comporterà la creazione dell'interprete di C++ in lingua Delphi. La prima versione di questo progetto coinvolgerà elementi del linguaggio C++, quali :

  • wxWindows Project Manager for VC7 Gratuito

    Insieme di strumenti per semplificare l'utilizzo di wxWindows con Visual C++ 7.

  • SPACS Gratuito

    SPACS è un'estensione per Macromedia / Adobe Flash che automatizza la creazione di esercitazioni flash. Utilizzando il pannello SPACS, gli utenti inviano una sequenza di immagini, definiscono hotspot che attivano set di doman

  • DistccTracker Gratuito

    Un tracker server Distcc basato su Java. Consentire ai client di aggiornare facilmente e indolore il file hosts per riflettere i server Distcc disponibili nella farm.

  • ARS Object History Gratuito

    Correggere la cronologia delle definizioni del flusso di lavoro degli oggetti flusso di lavoro ARSystem modificati tramite operazioni correlate all'amministratore. Mantiene una cronologia in esecuzione di tutte le definizion

  • Brick Remote Gratuito

    Brick Remote è un'applicazione Gnome per controllare il mattone LEGO RCX. Utilizza LNP per comunicare con l'RCX. Consente di controllare le tre uscite del motore e di monitorare i tre ingressi del sensore. Richiede brickOS