News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by thefz on Tuesday June 15, 2021 @06:25AM (#27513283)
English speakers who get offended by it can just spell "cee-oh-queue" and be done with it...
[ Parent | on HN ]
Re:Coq mulls new name for programming language by Siira on Tuesday June 15, 2021 @06:34AM (#27513338)
Indeed, a rebranding to that seems much saner. Perhaps they fear that such a change can't be forced upon the existing users, which is not an invalid concern either.
[ Parent | on HN ]