[erlang-questions] Announcing Erlang.org Code of Conduct

[Éric Pailleau]

Yes, sorry for Thierry Coquand.

There is many acronyms that can fit with CoC.
So many that it is a real...  CoC Robin...
My heart is weak and cannot resist to a joke.
LOL




Le 15 mars 2015 20:01, Anthony Ramine <n.oxyde@REDACTED> a écrit :
>
> Le 15 mars 2015 à 18:41, Éric Pailleau <eric.pailleau@REDACTED> a écrit : 
>
> > Hello, 
> > 
> > CoC is a strange name for something that looks to suck everybody. 
>
> French people shouldn't do that joke, because it hurts Coq's reputation and its associated Calculus of Construction.