New answers tagged lisp
1 vote
Church encoding (lambda calculus) to define < , > , !=
The usual lambda calculus (from now on: LC) way to encode numbers is indeed the Church encoding: 0 = λf. λx. x 1 = λf. λx. f x 2 = λf. λx. f (f x) This notation can be cumbersome to use, though. We ...
- 71.6k
Top 50 recent answers are included