coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Allen Brown <allenlbrown AT icloud.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] How to pronounce Coq?
- Date: Fri, 04 Jul 2014 13:51:00 -0400
From Le Petit Robert:
1 COQ [kɔk] n. m.milieu xiie ◇ du latin coccus, de l’onomatopée coco coco imitant le cri du coq. Le latin a évincé l’ancien français jal, du latin gallus et pou(i)l « jeune coq » → pou (1), 1. poule
HOM. Coke, coque.
Beware of geeks bearing grifts.
Sent from Allen's iPad Air.
Or just say "rooster".
-Greg
On 7/4/2014 1:03 PM, Jonathan wrote: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 :-)- XavierTry this: pronounce "coke" - if you pronounce it as something like"c-owe-k" (the word "owe", prefixed by "c", suffixed by "k"), thenpronounce Coq by starting out the same, but stop just short of the "we"embellishment on the vowel sound, and proceed directly to "k".-- Jonathan
- [Coq-Club] How to pronounce Coq?, Richard Ford, 07/04/2014
- 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?, Ian Zimmerman, 07/10/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?, 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
Archive powered by MHonArc 2.6.18.