Overview
Article URL: https://fstar-lang.org/
Comments URL: https://news.ycombinator.com/item?id=49143925
Details
Points: 179
# Comments: 88
Source
Originally published at fstar-lang.org.
Technology
F*: A general-purpose proof-oriented programming language
Key Takeaway
Article URL: https://fstar-lang. org/ Comments URL: https://news.
Frequently Asked Questions
What is "F*: A general-purpose proof-oriented programming language" about?+
Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 179 # Comments: 88
Who reported this story?+
This story was reported by Hacker News Best.