The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

On 07/04/2014 12:39 PM, Xavier Leroy wrote:
> On 04/07/14 18:32, Benjamin C. Pierce wrote:
> > In my flavor of american, “coke” and “coc[oa]” are exact homonyms…
> Damn!  I give up :-)
>
> - Xavier

Try this: pronounce "coke" - if you pronounce it as something like 
"c-owe-k" (the word "owe", prefixed by "c", suffixed by "k"), then 
pronounce Coq by starting out the same, but stop just short of the "we" 
embellishment on the vowel sound, and proceed directly to "k".

-- Jonathan