Number Example

• There are many ways to make numbers. Here's a simple one

• Idea: Represent numbers with lists

 ZERO = (PAIR TRUE TRUE)

 SUCC = n.(PAIR FALSE n)

 IS_ZERO = n.(FIRST n)

 PRED = n.(SECOND n)