News for hackers. Stuff that matters.

A comment on Advent of Code 2018, in Coq. Parent comment

Re:Advent of Code 2018, in Coq by merijnv on Tuesday February 19, 2019 @05:52AM (#19198057)
Good news for you, he's wrong. It's pronounced the way "coq" is in French, which isn't quite "cock", but certainly closer to "cock" than "coke".
[ Parent | on HN ]

There are no comments on this comment yet.