3 ms·
I've been told that the French OCaml crowd have (or had) a habit of naming projects after animals. In this case, cockerel.
by amirmc 12y ago
I've been told that the French OCaml crowd have (or had) a habit of naming projects after animals. In this case, cockerel.
- djcoin 12y agoCoq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
- eli_gottlieb 12y agoAlso, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".