The weekend is over
    the ICFP 2001 Programming Contest is over

We have a lightning entry
    but it is fragile

It does some redundancy elimination
    but it can stack-overflow

It does tag contraction
    but it takes decades to complete

It is meaning-preserving
    when it does not stack overflow

We also have a better SML/NG optimizer
    but it wasn't submitted

It is based on A Theory Of Tags
    but it wasn't submitted

It is meaning-preserving
    but it wasn't submitted

It performs complete whitespace compression
    but it wasn't submitted

It is fast as lightning
    but it wasn't submitted

It can do tag contraction
    but it wasn't submitted

It can do complete redundancy elimination
    but it wasn't submitted

It does not overflow the stack
    but it wasn't submitted

The last bug have been fixed
    but only after 15:00 UTC Sunday


Copenhagen SML Team