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: Dominique Larchey-Wendling <dominique.larchey-wendling AT loria.fr>
To: coq-club <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:14:31 +0200 (CEST)
Ironport-hdrordr: A9a23:sFwdKagz5iJahfVupSZj4J7SJ3BQX6J13DAbvn1ZSRFFG/GwvcaogfgdyFvIkz4XQn4tgpStP6OHTHPa+/dOkO0sFJ2lWxTrv3btEZF64eLZsljdMgDd1soY76dvdKBiFMb9ZGIQse/W6BS1euxQpuWv3aCznOHFz2psSwYvTKd87wh4AA6HEktwADRBbKBJbKa0ycZKqjGpc3ZSTsnTPAh/Y8HtvNvO/aiGXTcjJzoKrDaDlimp7rmSKXal9zMTSSlGz7tn0UWtqX2B2oyZv/u2ygDR2gbohvw99efJ8ddbAdzJt859EFXRoz2leZh7XPm6tC01ydvB1H8RjNLOrx08Vv4DiU/5Q2fdm2qP5yDQlBIn63rv0jaj8BzeiP28eS4gAMx6ob9hNibD40AjvNZzuZgm416k

> "chiffre binaire" is too long, we need something shorter for such a common
> notion. What about using a contraction? Like "binary digit" is contracted
> into
> "bit", "chiffre binaire" should be contracted into "chibre".

Very good joke !! ASTAP comme on disait autrefois !!

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