Yuval Adam

155,852
reputation
90
298
388
λf.(λx.f(x x)) (λx.f(x x))