News for hackers. Stuff that matters.

A comment on Renaming Coq.

Re:Renaming Coq by snicksnak on Thursday April 08, 2021 @10:58AM (#26739576)
the same people probably also find reading Kant offensive
[ Parent | on HN ]

There are no comments on this comment yet.