Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on F* – A Proof-Oriented Programming Language. Parent comment
About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...
There are no comments on this comment yet.
About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...