lhs2TeX-1.14 has experimental Agda support. A lot could be improved, but at least it's better than what lhs2TeX could do before. Just pass --agda to lhs2TeX, make sure you %include agda.fmt and see for yourself. Here is a demo. Feedback welcome.
Andres Löh, 2008-10-24