[erlang-questions] Announcing Erlang.org Code of Conduct
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 <> 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