Программы lci.sf.net

LCI является переводчиком для исчисления лямбды. Он поддерживает многие функции достижений, такие как интеграторы, рекурсия, операторы, определяемые пользователем, и несколько стратегий оценки.