[MLton] SML documentation tool(s)

[Matthew Fluet]

> So, I am becoming more inclined
> toward a system based on extracting documentation from code than
> extracting code from documentation.  Also, we don't want to put any
> barriers in the way of developers producing code.  Sometimes people
> other than the developer of a library will write documentation.  So,
> requiring developers to use a format other than SML for their code
> seems like a mistake.

Fair enough; Stephen has made a compelling argument.  I certainly wasn't 
trying to discourage anyone from writing libraries or documentation.  The 
only downside I see is that it seems to require building a new tool for 
extracting documentation from code.