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


Substitution of `mult' in [17]


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



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