logoalt Hacker News

kirlfiend_grill • today at 3:00 PM • 1 reply • view on HN

[flagged]

Replies

aleph_minus_one • today at 4:30 PM

> > F* (pronounced F star)

> No, it isn't.

https://fstar-lang.org/ claims otherwise:

"F* (pronounced F star)".