Hacker News new | ask | show | jobs
by lifthrasiir 2336 days ago
I gues they think it's funny in a way that the "CHICKEN" Scheme [1] is funny.

[1] https://www.call-cc.org/
1 comments
yesenadam 2336 days ago
What's the joke there? I couldn't see it.
link
lifthrasiir 2334 days ago
Coq means a rooster in French that is not a usual name for theorem prover by itself. Therefore Coq developers should have thought that it is at least an interesting (and more likely, funny) idea to name it after an animal, much like CHICKEN Scheme.
link