Matthew and Ray, you guys have worked on porting the SML/NJ library to MLton. I'm not sure exactly what the status is, although I see the mention on Ray's page of some of it. Could y'all collaborate to put up a (hopefully complete) tgz and a description of the changes. I've added a new page, SMLNJLibrary, where it should go. Thanks.