On Thu, Jan 28, 2016 at 5:33 PM, Brian Adkins wrote:
> configure Emacs (like I already have) to display λ instead of lambda
I really like using the agda input mode in Emacs.
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput
--
You received this message because you are subscri
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
2 matches
Mail list logo
