[Agda] lhs2TeX-1.14 with Agda support

[Andres Loeh]

Hi.

I've just released lhs2TeX-1.14 with experimental support for Agda. I'm
aware that a lot more can be done (for instance have Agda itself provide
formatting information that can be read by lhs2TeX, much like it
provides highlighting information for Emacs right now), but this is at
least a start.

Check out

http://people.cs.uu.nl/andres/lhs2tex/Agda.html

for an example. lhs2TeX itself is available from Hackage or

http://people.cs.uu.nl/andres/lhs2tex

and can be installed via configure/make or cabal-install, but the latter
requires Cabal-1.6.

Feedback welcome.

Cheers,
  Andres

-- 

Andres Loeh, Universiteit Utrecht

mailto:andres at cs.uu.nl     mailto:mail at andres-loeh.de
http://www.andres-loeh.de