next up previous contents index
Next: Abstraction `three' Up: Addition of the numbers Previous: Substitution of `compose' in   Contents   Index

Synthesis of (lambda(f g) ...) and `(two f) (three f)' in [6]


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



Georg P. Loczewski 2004-03-05

Impressum und Datenschutz