Y Combinator

A method to implement recursion in Lambda Calculus.

$$Y=\lambda f.(\lambda x.f(xx))(\lambda x.f(xx))$$