[Haskell-cafe] Converting typeset mathematics into Haskell ?

Henning Thielemann schlepptop at henning-thielemann.de
Tue Aug 25 09:47:38 EDT 2009

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.

More information about the Haskell-Cafe mailing list