Next:
Multiplying two numbers: mult
Up:
Arithmetic Operations
Previous:
Adding two numbers: add
Contents
Index
succ
This abstraction returns the successor of a certain number which means it adds the value 1 to it.
Georg P. Loczewski 2004-03-05
![\begin{lstlisting}[language=Scm,stepnumber=2]{}
(define succ (lambda (n)
(lambda (f)
(compose f (n f)))))
\end{lstlisting}](img86.gif)
Georg P. Loczewski
2004-03-05