News for hackers. Stuff that matters.

A comment on Coq: The world’s best macro assembler? (2013) [pdf]. Parent comment

Re:Coq: The world’s best macro assembler? (2013) [pdf] by conistonwater on Monday December 15, 2014 @04:12PM (#8754496)
Was the naming intentional? Did they know the common English meaning of it?
[ Parent | on HN ]
Re:Coq: The world’s best macro assembler? (2013) [pdf] by AndreasFrom on Monday December 15, 2014 @05:21PM (#8754818)
They give an explanation here.

https://coq.inria.fr/faq?q=node/16&som=2#htoc4

[ Parent | on HN ]
Re:Coq: The world’s best macro assembler? (2013) [pdf] by conistonwater on Monday December 15, 2014 @05:57PM (#8754984)
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.
[ Parent | on HN ]