coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Benoit Montagu <benoit.montagu AT m4x.org>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] How to pronounce Coq?
- Date: Sat, 05 Jul 2014 15:54:49 +0200
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
- Re: [Coq-Club] How to pronounce Coq?, (continued)
- Re: [Coq-Club] How to pronounce Coq?, Pierre-Marie Pédrot, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier MONTILLET, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Jonathan, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Greg Morrisett, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Allen Brown, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Stefan Monnier, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Christophe Bal, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Greg Morrisett, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Jonathan, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benoit Montagu, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Arnaud Spiwack, 07/07/2014
- Re: [Coq-Club] How to pronounce Coq?, Altenkirch Thorsten, 07/08/2014
- Re: [Coq-Club] How to pronounce Coq?, Arnaud Spiwack, 07/07/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/05/2014
Archive powered by MHonArc 2.6.18.