[racket] member et al.

There is some joke and/or observation to be made here. If only I could
rally all my memes. And/or if I couldn't. I can't decide which: Please
accept this entire paragraph as #t.

On Thu, Nov 11, 2010 at 2:18 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Thu, Nov 11, 2010 at 2:07 PM, Mark Engelberg
> <mark.engelberg at gmail.com> wrote:
>
>> Is Typed Racket able to observe that if the arguments to and/or are
>> all Booleans, then the result will definitely be a Boolean?  If so,
>> then and/or's flexible behavior in no way diminishes the value of
>> having "true predicates" available to use when you want to express
>> that clear intent.
>
> Yes.
>
>> (and (= (random 10) 0) (even? (random 20)))
> - : Boolean
>
> --
> sam th
> samth at ccs.neu.edu
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>