Re: [Haskell-cafe] Haddock Markup

On 15 Feb 2009, at 5:45 am, Wolfgang Jeltsch wrote:

So you mean a language which

* directly corresponds to a subset of MathML (and is therefore easily convertible into sensible MathML)

* is at the same time valid TeX source which can be processed by TeX based on a few macro definitions (like \mrow)

Yes. The thing is clearly doable in principle; whether it would work well in practice is another matter, of course.