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 throwmeback on Tuesday February 19, 2019 @04:52AM (#19197843)
You may have just ruined all the fun for me.

I'm pronouncing it like "coque" from now on.

[ Parent | on HN ]
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 ]