[MLton] Re: [MLton-devel] MLton HOL

Joe Hurd joe.hurd@comlab.ox.ac.uk
Sat, 18 Oct 2003 19:28:37 +0100 (BST)


On Sat, 18 Oct 2003, Stephen Weeks wrote:

> Wow.  Much bigger than MLton (118K lines).  And not bad on the compile
> time at all (relatively speaking).

Yes, once I've got everything working compiling will be infrequent.

> What platform and package format do you use?

Linux, .tgz is my preferred format.

Joe


_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton