RE: Need help understanding the Coverage Condition

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: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] 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.