next up previous contents index
Next: Subsitution of `add' in Up: Addition of the numbers Previous: Synthesis of `add' and   Contents   Start


Abstraction `add' (1)


\begin{lstlisting}[language=Scm]{} (lambda(m n) (lambda(f) (compose (m f) (n f)))) [2] \end{lstlisting}


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz