News for hackers. Stuff that matters.

A comment on The C standard formalized in Coq. Parent comment

Re:The C standard formalized in Coq by theGimp on Monday November 30, 2015 @08:46AM (#10649296)
Coq is French for rooster. Wiktionary has the pronunciation: https://en.m.wiktionary.org/wiki/File:Fr-coq.ogg
[ Parent | on HN ]

There are no comments on this comment yet.