delsin

193
reputation
3
12

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