[racket] Boolean expressions [Was: static variables question]

On Sun, Feb 19, 2012 at 07:05:37AM -0600, Robby Findler wrote:
> On Sun, Feb 19, 2012 at 12:30 AM, Gary Baumgartner <gfb at cs.toronto.edu> wrote:
> > On a more productive note: in Racket code I define and use 'implies' a lot,
> >  often conjoined, for predicates. It's mainly of declarative value, which is
> >  perhaps why it's uncommon in implementation despite how common it is in
> >  specification. And for boolean expressions in general I also use 'neither'.
> >  Are these something that others [would] use and so could be added to Racket's
> >  library?
> 
> Seems to me adding implies, nand, and nor to racket/bool is a good idea.
> 
> Let me know if you disagree (and if you disagree after I've already
> committed, it is a simple thing to drop the commit or change it).

The trouble is, I can never remember which of 'nand' and 'nor' is 
which.  Either of them could mean 'neither'.  But I do know what 
'neither' means.

-- hendrik