-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Dominic Steinitz wrote:
>> I really like the way you use a set of constraints
>> (IN m1 ms, IN m2 ms, IN m3 ms)
>> to maintain the set of marks. Previously I've thought of using a nested
>> tuple type
>> (m1, (m2, (m3 ())))
>> to maintain the set, but that is far less convenient. Very neat.
>>>> Why do you need the
>> instance IN () b
>> ?
>> This makes me realise I understand this less than I thought. Can
someone give
> an explanation of how the marks get built up?
Perhaps one of these papers will help:
http://www.cs.cornell.edu/people/fluet/research/rgn-monad/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFDznAnawZM6Kn3RRwRAk73AKDMjy5Ls0lmohtJuPQT3Azi6pzc5QCcCmem
EjKr0py9UtK1ZTIgmRzuTa8=
=W8Id
-----END PGP SIGNATURE-----