Hacker News new | ask | show | jobs
by arethuza 1906 days ago
And, of course, the Y-combinator which provides recursion:

Y = S(K(SII))(S(S(KS)K)(K(SII)))

https://en.wikipedia.org/wiki/Fixed-point_combinator