← Back to context

Comment by Lrigikithumer

11 years ago

Why are people getting downvoted for saying coq is not exactly a great name. It's not, no matter it's definition it sounds like cock, not a great name to advertise the language.

I mean if someone created a programming language called vagina, labia, penis or sphincter it would be ridiculed, cause it's not an appropriate name for a language.

Because they are concern trolling. However, if they were really offended by something so minor, then they deserve ridicule.