Programmi di lci.sf.net

LCI è un interprete del lambda calculus. Supporta molte funzionalità avanzate come numeri interi, ricorsione, operatori definiti dall'utente e strategie di valutazione multiple.