Template:User λ-5

From Wikipedia, the free encyclopedia

λ-5 λg. (λx. g (x x)) (λx. g (x x))