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

Éric Pailleau eric.pailleau@REDACTED
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.

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.

More information about the erlang-questions mailing list