4 ms·
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
by markcerqueira 12y 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."
- conistonwater 12y agoWas the naming intentional? Did they know the common English meaning of it?
- AndreasFrom 12y agoThey give an explanation here. https://coq.inria.fr/faq?q=node/16&som=2#htoc4 https://coq.inria.fr/faq?q=node/16&som=2#htoc4
- conistonwater 12y agoReasonable 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.