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
