Re:Renaming Coq
by scoutt on Thursday April 08, 2021 @11:40AM
(#26740153)
The name surely recalls the same word as the acronym of Code Of Conduct, which I always wondered why are they using that acronym in texts (like "Enforcing a CoC") and nobody is complaining. But then I think it's just because I am a non-native English speaker and perhaps it sounds/reads differently?
[ Parent
| on HN ]
Re:Renaming Coq
by taliaringer on Thursday April 08, 2021 @07:22PM
(#26744987)
I read Code of Conduct abbreviated as "see-oh-see." This is also the name of the logic that underpins Coq, the Calculus of Constructions, which I read the same way.