Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on F*: A general-purpose proof-oriented programming language. Parent comment
> No, it isn't.
https://fstar-lang.org/ claims otherwise:
"F* (pronounced F star)".
There are no comments on this comment yet.
> No, it isn't.
https://fstar-lang.org/ claims otherwise:
"F* (pronounced F star)".