Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Functional Programming in Lean – a book on using Lean 4 to write programs. Parent comment
I see that now. When I was composing my comment, they were there which is why they were quoted.
My apologies for how the response timing transpired.
There are no comments on this comment yet.
I see that now. When I was composing my comment, they were there which is why they were quoted.
My apologies for how the response timing transpired.