next up previous contents index
Next: Linking Logic with the Up: Examples of A++ - Previous: Examples of syntax of   Contents   Index

Examples of syntax of synthesis 2.4


\begin{lstlisting}[language=Scm]{} (b t f) ; (first a b) ; ((lambda(x) (add x three)) two) \end{lstlisting}


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