coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] How to pronounce Coq?

From: Xavier MONTILLET <xavierm02.net AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] How to pronounce Coq?
Date: Fri, 4 Jul 2014 00:38:11 +0200

I'm pretty sure that the French coq sounds closer to the English cock than to the English coke.

Goggle translate pronouces coq properly in French.

On Jul 4, 2014 12:20 AM, "Richard Ford" <richardlford AT gmail.com> wrote:

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

[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?, Benoit Montagu, 07/05/2014