Re:The C standard formalized in Coq
by jjgreen on Monday November 30, 2015 @12:27PM
(#10650544)
American rather than Anglo-Saxon I think, and the US has preferred "rooster" over "cock" since the 18th century, have those horrid liberals been oppressing you with political correctness all this time?
[ Parent
| on HN ]
There are no comments on this comment yet.