[Haskell-cafe] lambda calculus and equational logic
patrick.browne at dit.ie
Fri Jul 16 07:39:44 EDT 2010
Patrick Browne wrote:
> In Haskell what roles are played by 1)lambda calculus and 2) equational
> logic? Are these roles related?
I think this thread is getting a bit too theoretical, so I moved it to
Thanks for putting the time and effort into your really helpful replies.
This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie
More information about the Haskell-Cafe