Addition of the numbers `two' and `three'

- Synthesis of `add' and `two three' (1)
- Abstraction `add' (1)
- Subsitution of `add' in [1]
- Synthesis of (lambda(m n) ... ) and `two three' in [3]
- Abstraction: `compose'
- Substitution of `compose' in [4]
- Synthesis of (lambda(f g) ...) and `(two f) (three f)' in [6]
- Abstraction `three'
- Substituting `three' in [7]
- Synthesis of (lambda(f) ...) and `f' in [9]
- Synthesis of (lambda(x) ...) and `x' in [10]
- Abstraction `two'
- Substituting `two' in [11]
- Synthesis of (lambda(f) ...) and `f' in [13]
- Synthesis of the inner (lambda(x) ...) and `(f (f (f x)))' in [14]

Georg P. Loczewski 2004-03-05