Re:Renaming Coq
by tombert on Thursday April 08, 2021 @10:58AM
(#26739575)
That's pretty much my take on it too. It's a bit unfair to the maintainers that their innocent name is sort of being co-opted by English, and for that matter it kind of sucks that English is the standard language for most scientific writing, but sadly that's just the way it is.
[ Parent
| on HN ]
There are no comments on this comment yet.