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