Konrad 'Unrooted' Klawikowski

411
reputation

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