My 2c (before such coins disappear...)

On 2 May 2013, at 09:14, Petr Pudlák wrote:

> Hi,
> Personally I'd incline to choose some existing, well-established markup 
> language with formal specification that supports math (hopefully there is 
> one).

So TeX/LaTeX is out then  .... :-(

Andrew Butterfield     Tel: +353-1-896-2517     Fax: +353-1-677-2204
Lero@TCD, Head of Foundations & Methods Research Group
Director of Teaching and Learning - Undergraduate,
School of Computer Science and Statistics,
Room G.39, O'Reilly Institute, Trinity College, University of Dublin

Haskell-Cafe mailing list

Reply via email to