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



Le Wed, 06 Feb 2013 15:41:05 +0100, Makarius <makarius at sketis.net> 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.