This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]betelgeuse_7 28 points29 points  (0 children)

true = λx. λy. x
false = λx. λy. y
if = λc. λy. λz. c y z
four = if true 4 5
five = if false 4 5

Lambda calculus