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

Éric Pailleau <>
Sun Mar 15 20:38:30 CET 2015


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 <> a écrit :
>
> Le 15 mars 2015 à 18:41, Éric Pailleau <> 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.


More information about the erlang-questions mailing list