Skip to Content.
Sympa Menu

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

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?


Chronological Thread 
  • From: Michael Soegtrop <MSoegtrop AT yahoo.de>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
  • Date: Tue, 6 Apr 2021 10:46:32 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=MSoegtrop AT yahoo.de; spf=Pass smtp.mailfrom=msoegtrop AT yahoo.de; spf=None smtp.helo=postmaster AT sonic309-20.consmr.mail.ne1.yahoo.com
  • Ironport-hdrordr: A9a23:znKdl6BtrziRz/jlHei8sceALOonbusQ8zAX/mp2TgFYddHdssiokugS2xOcskdrZFgLn9ecNK6cBVbR8pBp4OAqTMufdSPhv3alK5wn0JDrxCfuFza72ulW06phdKYWMqyLMXFRi8Hm7A6kV+sx2dXvytHRuc7y7VdICTtrZaZp8htjBm+geXFeaQFaCfMCZf6hz+VdoT7IQwV0Uu2aAT0/U/HHt5n3kvvdEGc7LjoGzCXLsj+y8r79FHGjr3EjehdC260r/2SAsyGR3NTHj9iBxhXR13De4v1t8bOPpOdrP8CChtMYLT/hkG+TFedccoeftzM4qvzH0jcXueTLyi1BA+1O8X/LOkm6rRzxsjOQtwoG2jvHwV+cjWCLm72FeBsKT/BmoqJyNjb6y25lhvFT98twtV6xht5sCxTBlmDYyLHzOy1Cpw6FhXIjlKo0tVI3a+YjVIM=
  • Ironport-phdr: A9a23:fRcqhhFXFQyBVGZq8t4kYZ1Gf49MhN3EVjU92t8ck7tLN56b1NHcBiT32/xhgRfzUJnB7Loc0qyK6vGmADNbqsra+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiyoAnLq8Ubg4VvJqk+xxbHv3BFZ/lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lCsKMSMy/WfKgcJyka1bugqsqQFhzY7aYI+bN/Rwca3SctwYWWVPUcFfWjddAo6+dYYDE/AMMOhaooT7ulAArQG+BQ6pBO73zTFIh2P53a0g3Os/FQHNwREuH9UQv3TbsNX1LqASUfiox6TPyjvNcvRW1iny6IjUaBAhpumMUKlwcMXLyUkvEATFgk+NpoP7Jj6Y0PkGvGeH4eR6T+2vl3InpB9rojip3sohlpXEi54ax13Z+it13Zo4KNK3RUB0fdKpDYdcui+YOoZoTc0uXn1ktSc1xLACt5O2cjYHxYkkyhPQZfKKcYiF7xT+X+iSOTd1nHNodbOlixqv8EWtxPfwWtS33VtFtCZJj9bBu3EL2hfO8MaIUOF98V2k2TuX1wDc9OVEIUcsmKrALJ4hxL8wmYYdvEjfGiL6gVv6gLOMeko4/eio7f/nYrD8ppOGMo97kAD+MqA0lsy5H+s0LxICXmiB9uS8073j+lf1T6lNjv0ziqXZsZbaKtoHpqOhAgJY05wv5wu+AjqoytgUgHoKIV1fdB6agIXkOknCIPXiAve+h1Ssni1rx/fDPrD5B5XNNX/Dn6nufbZh8U5czxIzwMtf5p1OCrEBJ/XzVlXsu9PGFhM5KRC7w/77CNVh0YMTQX6AAqiAMK/LrVCI4v8vLPKXaY8OuDf9LuAl6OT0gX84n18dZ6ip0oENZHC2BPQ1a3meNHHrm5IKFXoAlgs4Vu3jzlOYAhBJYHPneqM35jg2DMqdCorMWpqqmPTV+Ry8E5JKfGdeIkGFEXDvMYmJDaRfIBmOK9Nsx2RXHYOqTJUsgEnGnD+/8KJuK6/vwgNdsJvi0NZv4Oi7vQA79TtzSciQgTjlZ1ExpXsBQnoN5I46oUF5zT+ryq9+gvcDTY0WvasPWQA8LpvGielzCtS0XA+YOMaASFGhBN6hBGNpJvoBhuQWakM4IO2MywjZ1kKCErYVkLvNCJFmqsrh

Hi all,

since it would be quite a bit of work to change the name of coqc & Co, how about stating that the official pronunciation is C.O.Q. ? Since it is a word play between "Calculus Of Construction" and "Coquand" this would be well justified.

I usually pronounce it like this in front of US audience.

Best regards,

Michael



Archive powered by MHonArc 2.6.19+.

Top of Page