Yuval A

151
reputation
3
λf.(λx.f(x x)) (λx.f(x x))