next up previous contents index
Next: Synthesis of (lambda(m n) Up: Addition of the numbers Previous: Abstraction `add' (1)   Contents   Start


Subsitution of `add' in [1]


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


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz