[MLton] Non-exhaustive exn fn match

Matthew Fluet fluet@cs.cornell.edu
Mon, 18 Jul 2005 20:34:36 -0400 (EDT)

> > This has the advantage that you get wiki markup, rather than the
> > bulkier HTML.
> Then you need a local web server and MoinMoin setup.  A bit much for a
> lot of people.  It would be nice to have a standalone tool that
> translates the markup into HTML.

Oh, I simply meant that reading the wiki markup is no harder, and in some 
cases (e.g., example code) easier than viewing the rendered HTML.

In any case, I think wget is good enough to get the HTML.