[MLton] Welcome to Michael Norrish

Stephen Weeks MLton@mlton.org
Thu, 9 Dec 2004 18:20:53 -0800

Welcome to Michael Norrish (http://mlton.org/MichaelNorrish), who has
joined the MLton mailing list.  Michael is an HOL developer, and has
been hearing for some time via Joe Hurd about MLton's problems in
compiling the many-hundred-thousand line SML programs needed to use
HOL in some scenarios.  He hopes to get some variant of HOL working
better with MLton.