Next:
Multiplying two numbers: mult
Up:
Arithmetic Operations
Previous:
Adding two numbers: add
Contents
Start
succ
(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