coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Clément Pit-Claudel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Xuanrui Qi, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/05/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Raphaël Cauderlier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Dominique Larchey-Wendling, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Michael Soegtrop, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Stefan Monnier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Hadas Zeilberger, 04/08/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/09/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Cyrus Omar, 04/09/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Kristin Yvonne Rozier, 04/06/2021
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Wilayat Khan, 04/06/2021
Archive powered by MHonArc 2.6.19+.