3 ms·
FWIW, this is also the standard way of implementing if/then in the lambda calculus: true = \x.\y.x false = \x.\y.y
by pozorvlak 10y ago
FWIW, this is also the standard way of implementing if/then in the lambda calculus:
true = \x.\y.x
false = \x.\y.y