> Imagine for a second that your favourite programming language or the one you use at work was called "Penis"? Except "penis" isn't ambiguous. Coq is French fo

> Imagine for a second that your favourite programming language or the one you use at work was called "Penis"? Except "penis" isn't ambiguous. Coq is French for cock -- as in rooster. If you have an issue with the name Coq, chances are you're too infantile to make meaningful use of it or contribute anything of value to it whatsoever.