The Coq mailing list

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

To my ear, the vowel falls exactly at the center of mass of “cock” and 
“coke,” perhaps with a pinch of “cook”...  

     - Benjamin

On Jul 5, 2014, at 9:54 AM, Benoit Montagu 
<benoit.montagu AT m4x.org>
 wrote:

> You can directly listen from the wiktionary project.
> 
> The complete article in french:
> https://fr.wiktionary.org/wiki/coq
> 
> And in english:
> https://en.wiktionary.org/wiki/coq
> 
> The audio file:
> https://upload.wikimedia.org/wikipedia/commons/4/47/Fr-coq.ogg
> 
> The wiktionary has an amazingly rich collection of audio files, in many 
> languages.
> 
> Le 04/07/2014 00:19, Richard Ford a écrit :
>> I'm relatively new to Coq.
>> What is the accepted way to pronounce "Coq"? Does/should everyone 
>> pronounce it as the French do, which I'm assuming is something like the 
>> English "coke". Or is it also acceptable to pronounce it as English 
>> speakers might assume, which would be like "cock"?
>> Just curious.
>> Rich