News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by aynyc on Thursday April 08, 2021 @11:11AM (#26739789)
LOL! That's a phrase I haven't heard in awhile.
[ Parent | on HN ]

There are no comments on this comment yet.