The Coq mailing list

[Altenkirch Thorsten <psztxa AT exmail.nottingham.ac.uk>]

Actually this always makes the undergraduates I teach giggle which helps getting their attention.

Obviously you have to be careful what abbreviations you use for the successor and factorial functions not to get fired for verbal harassment

:-)

T.

From: Arnaud Spiwack <aspiwack AT lix.polytechnique.fr>
Reply-To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Date: Mon, 7 Jul 2014 10:24:46 +0100
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] How to pronounce Coq?

Considering that "coq" and "cock" are the same word (though apparently through quite contrived and coincidental circumstances), and also that they sound practically identical, it is reasonable to say that however you would want to pronounce "cock" is the appropriate approximation of "Coq" in your particular accent or dialect.

On 5 July 2014 16:15, Benjamin C. Pierce <bcpierce AT cis.upenn.edu> wrote:

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

This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.