Home
Random
Nearby
Log in
Settings
Donate
About Wikipedia
Disclaimers
Search
Template
:
User λ-4
Template
Talk
Language
Watch
Edit
λ-4
λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u)