News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by jcelerier on Thursday April 08, 2021 @11:01AM (#26739635)
yet us french people have exactly zero problems with "bit" sounding the same than https://en.wiktionary.org/wiki/bite#French
[ Parent | on HN ]
Re:Renaming Coq by SilasX on Thursday April 08, 2021 @11:10AM (#26739775)
Hah! Yes, a while ago I came up with the "fan theory" that the French named Coq as revenge for exactly that:

https://news.ycombinator.com/item?id=26739666

[ Parent | on HN ]
Re:Renaming Coq by jcelerier on Thursday April 08, 2021 @01:06PM (#26741230)
this, or it just comes from one of the original authors' name, Thierry Coquand ?
[ Parent | on HN ]
Re:Renaming Coq by Blaisorblade0 on Thursday April 08, 2021 @10:06PM (#26746001)
We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.
[ Parent | on HN ]