lhs2TeX Agda demo

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.

Source file
PDF output

Valid XHTML 1.0! Valid CSS!

Andres Löh, 2008-10-24