The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

In my flavor of american, “coke” and “coc[oa]” are exact homonyms… 

    - Benjamin


On Jul 4, 2014, at 12:28 PM, Xavier Leroy 
<Xavier.Leroy AT inria.fr>
 wrote:

>> [Pronouncing "Coq"]
>> I'm pretty sure that the French coq sounds closer to the English cock than
>> to the English coke.
> 
> British or American? :-) To my ears, "cock" is an open "o", "coke" is
> a (very) closed "o", and the French "o" is somewhere in between.
> 
> What about "cocoa" without the "oa"?  It sounds about right to me.
> 
> - Xavier Leroy