軟件截圖:
LAMBDA項目是一個lambda演算解釋。
它減少lambda表達式並將其轉換成S，K，和我組合子（分機）。它與lambda表達式（DEF），負載定義名稱從文件（負載）相關聯，並列出當前的定義（列表）的能力。
代表整數Lambda表達式根據需要自動定義。許多有趣的組合子在定義文件中提供。
提供各種設置來影響減少和提取被執行（集）。
短手冊中提供了展示如何拉姆達工作。
以下是“拉姆達”一些主要特點：
·加載預定義的lambda表達式
·提供了許多定義：數字Ÿ其實地圖iszero列表第一第二第三ADD MUL EXP列表SUC潑尼松。 。 。
·自動編號的定義。
·解讀lambda表達式。
·單步解釋。
·普通或應用程序為了減少。
·可變提取（轉換至S K I）
·列表定義。
·有些演算理論。
要求：
·++的libstdc
什麼是新的，在此版本：
·添加XAPP標誌分機命令。
·內線製造提取常量表達式時，一貫表現。
·添加預處理用戶手冊。此自動插入一個目錄表並執行字符實體翻譯
評論沒有發現