Re: [isabelle] Please make OCaml and Ruby part of the Cygwin distribution

Le Tue, 22 Apr 2014 21:27:41 +0200, Gottfried Barrow <igbi at> a écrit:
If I hadn't been following the occasional discussions about ML vs. OCaml, such as between you and Mark Adams, I might be complaining about how imperfect ML is, but consistency is everything in logic, so not a complaint enters my mind about Isabelle/ML.

Please, do you remember the thread's subject and date? I would be interested in reading it.

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