Lambda Calculus Playground APK

Organize your code better by creating definitions! For example, you can define TRUE as a particular expression, then use TRUE wherever you want as a shorthand, and it will also automatically be recognized in evaluation results. By building definitions on top of definitions, you can create much more interesting expressions that would be unmanageable in their fully-expanded form.

This update also includes a number of other bug fixes, performance improvements, and improved stability.

探索無類型演算，在計算最根本的制度之一。用一個非常簡單的規則開始，所有的計算是可能的。但是，僅僅因為規則很簡單並不意味著演算很簡單：你需要一些聰明和創造力得到一個地步，你可以計算出任何東西。

這個程序可以讓你直觀地創建的lambda演算表達式（lambda表達式，變量和函數調用），並對其進行評估。嘗試布爾，教堂數字，或Y組合。

在平板電腦上的偉大工程！在手機上，最適合在橫向模式。

請注意，應用程序不（還）教演算，所以它最好有一個單獨的資源（例如在線或類）。