+++ /dev/null
-%************************************************************************
-%* *
-\section{The state of play}
-%* *
-%************************************************************************
-
-\ToDo{This section will describe the state of play: where
-functional-language compilers are; compared to their imperative
-cousins.}
-
-%The burden of proof remains with us functional programmers. We
-%encourage you to help solve this problem by contributing compiler
-%passes that optimise real programs written in a standard non-toy
-%language effectively.