[MLton] MLton HOL

Matthew Fluet fluet@cs.cornell.edu
Thu, 1 Jul 2004 09:46:12 -0400 (EDT)


> I'm pleased to report some progress on compiling HOL.  I left
> a compile running last night that completed in 8.6 hours.

Yikes!  What was the pre-backend/backend/codegen breakdown?