Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Renaming Coq. Parent comment
Is there any evidence of this?
I can easily imagine authors making that decision voluntarily.
There are no comments on this comment yet.
Is there any evidence of this?
I can easily imagine authors making that decision voluntarily.