next up previous contents index
Next: Synthesis of (lambda(x0) ...) Up: Multiplication of the numbers Previous: Synthesis of (lambda(f) ...)   Contents   Index

Synthesis of the inner (lambda(x0) ...) and `x1'


\begin{lstlisting}[language=Scm]{}
(lambda(x)
(lambda(x1)
((lambda(x0)
(x(x(x x0))))
(x(x(x x1)))))) [31]
\end{lstlisting}



Georg P. Loczewski 2004-03-05

Impressum und Datenschutz