λ 式 β 簡約

λ 式を入力して下さい。 （ただし、 λ の代わりに \ を使って下さい。このフォームでは、 ¥ キーを打つと、\ が入力されます。）


評価戦略: 回数:
入力例（コピペして使って下さい）: 
plus 2 3

(\ x. x x)(\ x. x x)

fact 10
注: この CGIでは、(\ x. xx)(\ x. xx) とすると、xx が一つの変数名として解釈されてしまいます。 必ず、 (\ x. x x)(\ x. x x) のように空白を空けてください。
Koji Kagawa