Lambda

проект Lambda е ламбда смятане, преводач.
Той намалява ламбда изрази и ги превръща в S, K, а аз комбинатори (вътр). Той има способността да се свързват имена с ламбда изрази (Def), определения на натоварване от файл (натоварване), и актуалния списък на определения (списък).
Lambda изрази представляващи цели числа се определят автоматично, ако е необходимо. Много интересни комбинатори са предоставени в файл определение.
Различни настройки са предвидени да влияят върху намаляването на пътя и добива се извършват (SET).
Кратък наръчник е предвидено, показващ как работи ламбда.
Ето някои основни характеристики на "Lambda":
· Load предварително определени ламбда израз
· Много определения, предвидени: номера Y факт списък картата iszero първо втори трети ДОБАВИ MUL EXP списък посо Предвиждане. , ,
· Автоматични определения номер.
· Тълкувайте ламбда изрази.
· Една стъпка тълкуване.
· Нормални или прилагането намаления ред.
· Variable екстракция (Покръстване на S K I)
· Определения списък.
· Някои теория ламбда смятане.
Изисквания:
· Libstdc ++
Какво е новото в тази версия:
· Добави xapp флаг за вътр команда.
· Изработени вътр държат последователно при извличане постоянни изрази.
· Добави предварителна обработка за ръководство за употреба. Това автоматично вмъква таблица на съдържанието и прави знак на автономните преводи.