Yuval Adam

161,610
reputation
92
305
395
λf.(λx.f(x x)) (λx.f(x x))