Re:Renaming Coq
by subpixel on Thursday April 08, 2021 @11:08AM
(#26739749)
There's no analysis of this that doesn't boil down to accommodating immaturity. Worse, it protects English speakers from the mental model (reflecting reality) where other languages coexist with their own.
[ Parent
| on HN ]
There are no comments on this comment yet.