News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by 6gvONxR4sf7o on Thursday April 08, 2021 @01:43PM (#26741641)
It doesn't just affect the immature kids, because the immature kids affect the rest.
[ Parent | on HN ]

There are no comments on this comment yet.