探索未鍵入的 lambda 微積分，這是計算中最基本的系統之一。從一組非常簡單的規則開始，所有計算都是可能的。但是，僅僅因為規則簡單並不意味著 lambda 微積分是容易的：你需要一些聰明和創造力，才能到達一個可以計算任何東西的地方。 此應用程式允許您直觀地創建 lambda 微積分運算式（lambdas、變數和函數調用）並對其進行評估。試用布爾器、教堂數位或 Y 組合器。 在平板電腦上效果很好！在手機上，在橫向模式下效果最佳。
軟體細節
- 軟體分類： 教育 > 教學和培訓工具
- 發佈者： Alan Pierce
- 軟體性質： 免費
- 價格： N/A
- 版本： 1.1.0
- 作業系統： android