Comment by markcerqueira
11 years ago
It's cock. Took a course with Andrew Appel; the heroic man did not flinch once when he said it over and over again during the semester. My favorite line of the course: "You're going to do your homework in COCK."
11 years ago
It's cock. Took a course with Andrew Appel; the heroic man did not flinch once when he said it over and over again during the semester. My favorite line of the course: "You're going to do your homework in COCK."
Was the naming intentional? Did they know the common English meaning of it?
They give an explanation here.
https://coq.inria.fr/faq?q=node/16&som=2#htoc4
Reasonable people might disagree, but I think that what they say there doesn't answer the question at all. Cock means rooster in English too, after all, but somehow the name doesn't get used.