LCI è un interprete del lambda calculus. Supporta molte funzionalità avanzate come numeri interi, ricorsione, operatori definiti dall'utente e strategie di valutazione multiple.
cronologia delle versioni
- Versione 0.6 pubblicato il 2008-02-14
Diverse correzioni e aggiornamenti - Versione 0.6 pubblicato il 2008-02-14
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: lci.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 0.6
- Piattaforma: linux