Hacker News new | ask | show | jobs
by Uzomidy 2018 days ago
Does this mean that the Y combinator, Y = λf.(λx.f (x x)) (λx.f (x x)), is not a combinator?