نظريي کي ثابت ڪرڻ وارو اوزار Coq پنهنجو نالو تبديل ڪرڻ تي غور ڪري رهيو آهي. سبب: اينگلوفونز ۾، لفظ "coq" ۽ "cock" (مرد جي جنسي عضون لاء slang) هڪجهڙائي رکن ٿا، ۽ ڪجهه عورت استعمال ڪندڙن کي ٻولڻ واري ٻولي ۾ نالو استعمال ڪرڻ وقت ڊبل entendre مذاق جو سامنا ڪيو ويو آهي. Coq ٻولي جو بلڪل نالو هڪ ڊولپر جي نالي مان ايندو آهي، Thierry Coquand. Coq ۽ Cock (انگريزي مرغ) جي آواز جي هڪجهڙائي اڳ ۾ ئي پروجيڪٽ ۾ ادا ڪئي وئي آهي: ساختن کي بيان ڪرڻ لاءِ استعمال ٿيندڙ ٻولي Gallina (لاطيني ڪڪڙ) سڏجي ٿي.
جو ذريعو: opennet.ru