[MLton] Re: refinement type checker for Standard ML

[Stephen Weeks]

> If you are interested in playing with this, I could give you
> read-access to our CVS repository.

Sure.  It'll be fun to look at and will give me some more SML code to
test the new front end.  (Hi Rowan)

Contact me personally whenever you want to set up the administrative
stuff.

> Personally, I won't have much time to think about this or work on it
> until the end of February, but I'll see if I can get a local
> volunteer.

Great.  Thanks.