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.

型なしラムダ計算、コンピューティングにおける最も基本的なシステムのいずれかを探ります。ルールの著しく簡単なセットで開始し、すべての計算が可能です。しかし、単にルールが単純であるためと、ラムダ計算が容易であることを意味しません：あなたは何かを計算することができる点に到達するために、いくつかの賢さと創造性が必要になります。

このアプリはあなたが視覚的にラムダ計算式（ラムダ、変数、関数呼び出し）を作成し、それらを評価することができます。ブール値、教会の数字、またはYコンビネータを試してみてください。

タブレット上で素晴らしい作品！携帯電話では、風景モードで最適に動作します。

それは、そのための別のリソース（例えば、オンラインまたはクラス）を持つことが一番ですので、アプリは（まだ）、ラムダ計算を教示していないことに注意してください。