On Sun, Feb 19, 2012 at 12:30 AM, Gary Baumgartner <g...@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). Robby ____________________ Racket Users list: http://lists.racket-lang.org/users
