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

Synthesis of (lambda(m n) ... ) and `two three' in [3]


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


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz