next up previous contents index
Next: Synthesis of (lambda(f) ...) Up: Addition of the numbers Previous: Abstraction `two'   Contents   Index


Substituting `two' in [11]


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



domain access counter Georg P. Loczewski 2004-03-05