Yuval Adam

221
reputation
1
5
λf.(λx.f(x x)) (λx.f(x x))