How to use lhs2tex

"How to use lhs2tex" is not written yet.