benchmarks

Stephen Weeks MLton@sourcelight.com
Mon, 5 Nov 2001 11:13:39 -0800 

> run time ratio
...

Wow.  OKOK, I'm working on the shrinker as we speak.