Programy według lci.sf.net

LCI jest tłumaczem dla rachunku lambda. Obsługuje wiele funkcji postępu, takich jak liczby całkowite, rekursja, operatory zdefiniowane przez użytkownika i wiele strategii oceny.