[MLton] Re: refinement type checker for Standard ML

Stephen Weeks sweeks@sweeks.com
Wed, 7 Jan 2004 10:51:34 -0800

> 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

> 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.