Update README.lhs: done