News for hackers. Stuff that matters.

A comment on A blog engine written and proven in Coq. Parent comment

Re:A blog engine written and proven in Coq by amirmc on Thursday February 12, 2015 @08:01AM (#9038573)
I've been told that the French OCaml crowd have (or had) a habit of naming projects after animals. In this case, cockerel.
[ Parent | on HN ]
Re:A blog engine written and proven in Coq by djcoin on Thursday February 12, 2015 @08:26AM (#9038660)
Coq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
[ Parent | on HN ]
Re:A blog engine written and proven in Coq by eli_gottlieb on Thursday February 12, 2015 @08:53AM (#9038735)
Also, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".
[ Parent | on HN ]