coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] How to pronounce Coq?

From: Richard Ford <richardlford AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] How to pronounce Coq?
Date: Thu, 3 Jul 2014 15:19:45 -0700

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