λ式β変換

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

plus 2 3

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

   注: この CGIでは、(\ x. xx)(\ x. xx)    とすると、xxが一つの変数名として解釈されてしまいます。

fact 10