GOOD
DEV
GLOBAL
F*: A general-purpose proof-oriented programming language
Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 77 # Comments: 30
Read the original at Hacker News ↗Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 77 # Comments: 30
Read the original at Hacker News ↗