delsin

313
reputation
4
12

Y = λf.(λx.f(x x))(λx.f(x x))