[Haskell-cafe] Slightly Offtopic in Part

PR Stanley prstanley at ntlworld.com
Fri Feb 8 21:25:29 EST 2008

Hi folks
The disjunction elimination rule:
I've been trying to make sense of it and I think I have had some 
success; however, it's far from adequate. I wonder, is there a way of 
demonstrating it in Haskell? A code frag with a jargon-free 
explanation would be mucho appreciated.
Cheers, Paul

More information about the Haskell-Cafe mailing list