alternative translation of type classes to CHR(was:relaxedinstance rules spec)

[Taral]

On 3/13/06, Claus Reinke <claus.reinke at talk21.com> wrote:
> [still talking to myself..?]

This is all wonderful stuff! Are you perhaps planning to put it all
together into a paper?

What effect do you think this can have on existing algorithms to resolve FDs?

--
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra