3 ms·Coq is a cross-language pun, intended to act as revenge for the word "bit".by nullc 11y agoCoq is a cross-language pun, intended to act as revenge for the word "bit".