3 ms·
The author of Coq named it that way deliberately, which is why some people are annoyed by it. It's not that big a deal when it happens naturally, but going for
by jasonwatkinspdx 4y ago
The author of Coq named it that way deliberately, which is why some people are annoyed by it. It's not that big a deal when it happens naturally, but going for such a pun in an academic/professional setting isn't really something to do.
- nequo 4y agoWas it really named Coq in order to sound weird in English? I thought that it is a reference to Thierry Coquand and the French word for rooster.