3 ms·
Really enjoyed the explanation of how addition falls out of the lambda calculus, as I'd never seen that before.
by antipax 17y ago
Really enjoyed the explanation of how addition falls out of the lambda calculus, as I'd never seen that before.
- ambulatorybird 17y agoYou can also do sequencing (assuming applicative order) and conditionals: 'a; b' ==> (fn x -> b) a true = fn x -> fn y -> x false = fn x -> fn y -> y if = fn p -> fn -> c -> fn a -> p c a