[Haskell-cafe] Haskell to math

[jerzy.karczmarczuk at info.unicaen.fr]

Henning Thielemann writes: 

> Peter Verswyvelen wrote:

>> Now what I would like to do, is to create a mathematical expression in
>> Haskell (using e.g. an expression tree), which can be evaluated in
>> Haskell, and be converted to something pretty-math-printable (MathML,
>> PS, PDF, LaTex, whatever).
> 
> There is the LaTeX preprocessor lhs2TeX which can typeset Haskell
> expressions in LaTeX's math mode. However I find the conversion not very
> well designed (e.g. the handling of parentheses).

There was a program "TeX Haskell mode" by Manuel Chakravarty, also
lambdaTeX, etc., but if I understand well, this IS NOT what Peter V.
wants. He wants a specific pretty-printer *in Haskell*. This was most
probably a subject of many students' exercices... 

Jerzy Karczmarczuk