3 ms·

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 http

by SilasX 6y ago

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 https://news.ycombinator.com/item?id=26739666

jcelerier 6y ago
this, or it just comes from one of the original authors' name, Thierry Coquand ?
- Blaisorblade0 6y ago
  We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.