News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.