coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why is the Coq logo made to look like a penis?

From: Santiago Bautista <santiago.bautista AT ens-rennes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Wed, 7 Apr 2021 18:33:35 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=santiago.bautista AT ens-rennes.fr; spf=Pass smtp.mailfrom=santiago.bautista AT ens-rennes.fr; spf=None smtp.helo=postmaster AT smtpout01-ext1.partage.renater.fr
Ironport-hdrordr: A9a23:77s0JqF6kDfvrqOrpLqF/5HXdLJzesId70hD6mlaTxtJfsuE0+Wnm/oG3RH54QxhIk0Is9aGJaWGXDfg7pZz+4YcJvOPWwPhtWuuIuhZnPDf6hfnHDDz8fMY6Ld4f8FFeaXNJHVzkMqS2njdL/8O29+CmZrY59v273Aodg1ybrEl0gERMHfjLmRTZC1rQaU0D4Cd4M0vnUvHRV0yYt6gDncIG8jvzue78a7OWhINCx455ATmt1rBg9SWfHal9ywTXD9VzbAp/XKtqX2b2oyYr/q5xhXAvlWz071qnrLaqudrONaBkYw8JDnql2+TFeNccozHhzwzqPyi8xISjdfB5y04N8BY42/KcgiO0GTQ8jil6zoo42Lv0hugnHXu5fbhTDYBAcxbietiA2fkwntlh9162L9GxCahqpRaSSnYlCDG+tDUW3hR5zeJiEtnru4Jk2Yaa4EXb7hcoOUkkH9oLA==

That is a reason why the proposed alternative "Gallus" is very good : it keeps the exact same symbol of french identity and national pride, while solving the problem.

On 4/7/21 3:42 PM, Tadeusz Litak wrote:

Anyway, the proposed list of "reasons to keep" does not include the most important one (apart from massive legacy, second to none in fact). One would need to reformulate point 2. It is not just about making sense in French. If it is correct that Coq's name appeals to French national pride and that it helps to get funding and institutional support in France, this is a huge issue.

Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)