Well you're on a website called ycombinator.com so maybe the fixed point combinator Y = λf.(λx.f(xx))(λx.f(xx)) https://en.m.wikipedia.org/wiki/Fixed-poin

Well you're on a website called ycombinator.com so maybe the fixed point combinator Y = λf.(λx.f(xx))(λx.f(xx)) https://en.m.wikipedia.org/wiki/Fixed-point_combinator https://en.m.wikipedia.org/wiki/Fixed-point_combinator