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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Feb 19 08:05:37 EST 2012

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).


Posted on the users mailing list.