[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