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 nullc on Monday November 30, 2015 @02:13PM (#10651092)
Coq is a cross-language pun, intended to act as revenge for the word "bit".
[ Parent | on HN ]

There are no comments on this comment yet.