Jump to content

Template:User λ-4

Add links
From Wikipedia, the free encyclopedia
λ-4λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:User_λ-4&oldid=310438403"