Theorem bewize ark Coq oerwaget syn namme te feroarjen. Reden: Foar anglofoanen klinke de wurden "coq" en "cock" (slang foar it manlike geslachtsorgaan) ferlykber, en guon froulike brûkers hawwe dûbelsinnige grappen tsjinkaam by it brûken fan de namme yn sprutsen taal. De namme fan 'e Coq-taal komt fan' e namme fan ien fan 'e ûntwikkelders, Thierry Coquand. De oerienkomst fan it lûd fan Coq en Cock (Ingelske hoanne) is yn it projekt al spile: de taal dy't brûkt wurdt om de struktueren te beskriuwen hjit Gallina (Latynske kip).
Boarne: opennet.ru