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.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and