[Haskell-cafe] Converting typeset mathematics into Haskell ?

[Henning Thielemann]

Richard O'Keefe schrieb:
> 
> On Aug 22, 2009, at 11:49 AM, Mark Wassell wrote:
>> Think about how you would convert this into Haskell. You might then
>> find yourself wondering why you have to convert it into Haskell at all.
> 
> But very quickly you realise that it is because a lot of
> mathematical notation is heavily ambiguous and requires
> fairly sophisticated N.I. to parse correctly.

Thus I had the idea to do it the other round: Typeset formulas as
executable Haskell programs that can be converted and pretty printed by
LaTeX. lhs2TeX allows a bit of this procedure.