[MLton-devel] Porting from Moscow ML

[Joe Hurd]

> run time ratio
> benchmark         Moscow-ML Poly/ML SML/NJ
> model-elimination       7.5     3.0    1.7

Thanks for the sending me the runtimes of my prover on the ML
implementations: from the looks of things I picked the right compiler
to target.

Joe




-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel