next up previous contents index
Next: Multiplying two numbers: mult Up: Arithmetic Operations Previous: Adding two numbers: add   Contents   Index


(define succ (lambda (n)
(lambda (f)
(compose f (n f)))))
This abstraction returns the successor of a certain number which means it adds the value 1 to it.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz
access counter