Yuval A
307
reputation
2
10
λf.(λx.f(x x)) (λx.f(x x))