25 Apr
2003
25 Apr
'03
10:32 a.m.
(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 --