next up previous contents index
Next: Synthesis of (lambda(x) ...) Up: Addition of the numbers Previous: Substituting `three' in [7]   Contents   Start

Synthesis of (lambda(f) ...) and `f' in [9]


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



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz