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

Synthesis of (lambda(x) ...) and `x' in [10]


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



Georg P. Loczewski 2004-03-05

Impressum und Datenschutz