Re: [isabelle] syntax highlighting on stackoverflow

Le Wed, 13 Mar 2013 17:25:20 +0100, Makarius <makarius at> a écrit:
So we are back at field one, where we've been 20 years ago: "Unicode is comming, really, believe me, it is there right now to solve all our math typesetting problems". Luckily the prover does not depend on Unicode at all.

How so?

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.