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

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