Minified and fixed 00_hello_world.lhs