[Haskell-cafe] Equality constraint "synonyms"

Sebastian Fischer fischer at nii.ac.jp
Thu Nov 25 04:53:20 CET 2010


On Thu, 2010-11-25 at 10:41 +0900, Hugo Pacheco wrote:
> Would this be a desired feature for other people?

I'd like to have Haskell Type Constraints Unleashed

http://users.ugent.be/~tschrijv/Research/papers/constraint_families.pdf

which includes equality constraint synonyms.

Sebastian




More information about the Haskell-Cafe mailing list