Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Where do type systems come from? (2017). Parent comment
propositions because there are some expressions that do not
halt but it is unprovable that they do not halt.
There are no comments on this comment yet.
propositions because there are some expressions that do not
halt but it is unprovable that they do not halt.