Yuval Adam

101
reputation
2
λf.(λx.f(x x)) (λx.f(x x))