Yuval Adam 4X5UV

133
reputation
5
λf.(λx.f(x x)) (λx.f(x x))