Need help understanding the Coverage Condition

[Simon Peyton-Jones]

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 at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On Behalf Of
| Philip K.F. Hölzenspies
| Sent: 04 July 2007 09:33
| To: glasgow-haskell-users at haskell.org
| Subject: Need help understanding the Coverage Condition
|
| L.S.,
|
| I have difficulty understanding the Coverage Condition.