Update README.lhs: modify format