Yuval Adam
273
reputation
1
2
6
λf.(λx.f(x x)) (λx.f(x x))