Template:User λ-5

From Wikipedia, the free encyclopedia
Jump to: navigation, search
λ-5 λg. (λx. g (x x)) (λx. g (x x))