next up previous contents index
Next: Synthesis of (lambda(m n) Up: Addition of the numbers Previous: Abstraction `add' (1)   Contents   Index


Subsitution of `add' in [1]


\begin{lstlisting}[language=Scm]{}
((lambda(m n)
(lambda(f)
(compose (m f) (n f))))
two three) [3]
\end{lstlisting}



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