Re:Renaming Coq
by dkarl on Thursday April 08, 2021 @11:12AM
(#26739802)
I would not call it "human nature" or give up on changing it, but I agree that changing the name is a quick and easy win compared to changing the context.
[ Parent
| on HN ]
There are no comments on this comment yet.