News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by ktm5j on Thursday April 08, 2021 @01:24PM (#26741442)
How am I spreading flame? This is something I feel passionate about because these issues affect my life.
[ Parent | on HN ]

There are no comments on this comment yet.