News for hackers. Stuff that matters.

A comment on Renaming Coq.

Re:Renaming Coq by kirlfiend_grill on Thursday April 08, 2021 @11:57AM (#26740359)
I can only hope they end up with "hors coq".
[ Parent | on HN ]

There are no comments on this comment yet.