News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by dgellow on Friday April 09, 2021 @05:07AM (#26748301)
Wow, I don't think I will be able to unsee this.
[ Parent | on HN ]

There are no comments on this comment yet.