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 :)
PR: ports/89684
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
