Philip Have you read "Understanding functional dependencies via Constraint Handling Rules"? http://research.microsoft.com/~simonpj/papers/fd-chr
If not, I urge you to consider doing so. It goes into the whole thing in great detail. I'm submerged for the next 3 weeks, though others may be able to help you. Simon | -----Original Message----- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of | Philip K.F. Hölzenspies | Sent: 04 July 2007 09:33 | To: glasgow-haskell-users@haskell.org | Subject: Need help understanding the Coverage Condition | | L.S., | | I have difficulty understanding the Coverage Condition.
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users