next up previous contents index
Next: Substitution of `compose' in Up: Addition of the numbers Previous: Synthesis of (lambda(m n)   Contents   Start

Abstraction: `compose'


\begin{lstlisting}[language=Scm]{} (lambda(f g) (lambda(x) (f (g x)))) [5] \end{lstlisting}


Georg P. Loczewski 2004-03-05

Impressum und Datenschutz