On Thu, 28 Jan 2016 16:30:57 -0600,
Brian Adkins wrote:
> 
> I'm sure this is a really bad idea, but I couldn't resist after finding 
> section 3.3.8 in the Dr. Racket documentation - what fun :)
> 
> (define (∃ member list)
>   (cond [ (∅? list) ∅ ]
>         [ (≡ member (α list)) list ]
>         [ else (∃ member (ω list)) ]))
> 
> (∃ 8 '(3 9 8 5))
> 
> Using "alpha" for "car" kind of makes sense, but using "omega" for
> "cdr" really doesn't - I expect it should return the last element of
> the list, but I couldn't think of any greek symbol that might mean
> "tail".

Δ ?

(also works with a:car :: d:cdr :) )

Vincent

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to