next up previous contents index
Next: and Up: Extended Logical Abstractions Previous: Extended Logical Abstractions   Contents   Index


not


\begin{lstlisting}[language=Scm,stepnumber=0]{} (define not (lambda (sel) (sel false true ))) \end{lstlisting}
This abstraction makes the selector `true' return `false' and vice versa.


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