next up previous contents index
Next: Abstraction `mult' Up: Multiplication of the numbers Previous: Multiplication of the numbers   Contents   Index


Synthesis of `mult' and `two three'


\begin{lstlisting}[language=Scm]{}
(mult two three) [17]
\end{lstlisting}



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