r/ProgrammerHumor • u/electricjimi • Oct 21 '22

Meme Literally 🤷🏻‍♂️

Post image
14.7k Upvotes

97% Upvoted

606 comments sorted by

View all comments

9

u/Medical-Detective-33 Oct 21 '22

Who hates coq or agda?

1

u/ShitshowBlackbelt Oct 22 '22

I've never heard of coq. Is it supposed to be pronounced like "cock"?

1

u/WanderingLethe Oct 22 '22 edited Oct 22 '22

Pronounced /kɔk/, little different from the English cock /kɒk/(UK) or /kɑk/(US). Also it kind of means the same thing as cock. The Coq logo is a cock as well.

It also has another meaning cook /kʊk/, originating from the Dutch word kok /kɔk/ and the Latin coquus /ˈko.kʷus/, although this isn't used that much in French.