Re: [isabelle] Where to learn about HOL vs FOL?

Le Wed, 06 Feb 2013 15:41:05 +0100, Makarius <makarius at> a écrit:
I have pointed out further nasty tricks of OCaml occasionally, where you simply cannot trust your eyes reading the OCaml source. Some LRI guys are particularly good at playing such tricks and proud of it.

What is “LRI” please?

“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.