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


Synthesis of `add' and `two three' (1)


\begin{lstlisting}[language=Scm]{}
(add two three) [1]
\end{lstlisting}



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