Comment Comment by Uzomidy Does this mean that the Y combinator, Y = λf.(λx.f (x x)) (λx.f (x x)), is not a combinator? parent Uzomidy 6 years ago