Delete redo.hs