25 Nov
2010
25 Nov
'10
7:28 a.m.
Thank you for the info., I didn't know that it had already been proposed. The constraint families seem definitely useful. hugo On Thu, Nov 25, 2010 at 12:53 PM, Sebastian Fischer <fischer@nii.ac.jp>wrote:
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
-- www.di.uminho.pt/~hpacheco