Программы petit-lambda.sf.net

Переводчик исчисления ламбды.Он показывает процесс сокращения сроков lambda.Поддерживается несколько стратегий оценки.Формат вывода может быть выбран из LaTex, простой текст.