F*: A general-purpose proof-oriented programming language | Hacker News
TL;DR AI
2 min readKey summary
A Hacker News thread on F* criticized the project page for not showing obvious code examples.
One commenter argued that language docs should feature simple sample apps like an HTTP server or todo list.
A reply pointed to page 18 of the PDF, where F* code examples can be found.
The exchange underscores how example-driven docs shape judgments about syntax, usability, and learning curve.