Yuval A

257
reputation
1
3
11
λf.(λx.f(x x)) (λx.f(x x))