Comment by pozorvlak
8 years ago
FWIW, this is also the standard way of implementing if/then in the lambda calculus:
true = \x.\y.x
false = \x.\y.y
8 years ago
FWIW, this is also the standard way of implementing if/then in the lambda calculus:
true = \x.\y.x
false = \x.\y.y
No comments yet
Contribute on Hacker News ↗