25 Aug
2009
25 Aug
'09
1:47 p.m.
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.