Although Stephen Weeks was the original maintainer of this port and still should be (unless he'd prefer not to be, in which case I volunteer), I made the first push to get this port included and will commit to resolving any problems that crop up from here on out. I think it's important to have MLton in the ports tree as it is a great ML compiler. The new lang/twelf port would also benefit, as it is a good bit faster when compiled with MLton :)
State Changed From-To: open->closed Commited, thanks! Please talk with Stephen Weeks <sweeks@sweeks.com> about who is taking maintainer ship and about a possible upgrade to 20051128