On Thursday, January 28, 2016 at 5:30:57 PM UTC-5, 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". > > I have been using Command-\ to insert λ instead of lambda. It's too pretty to > resist. > > Brian
I suppose a better idea than actually inserting λ might be to configure Emacs (like I already have) to display λ instead of lambda. I haven't quite settled on whether to stay in Emacs or in Dr. Racket - I tend to go back and forth depending on my needs at the moment. -- 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
