add README.lhs