Super Haddock (was Re: Literate Programming)

[Johannes Waldmann]

> (Example application: I'm writing a graph theory text,
> and I want to embed pictures that are produced by a Haskell program)

.. and of course I want to use Haskell's type checker
to check the math formulas in the text.

i. e. I want to type them "as Haskell", not "as LaTeX".
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/207 --