Hacker News new | ask | show | jobs
by aleph_minus_one 1 hour ago
> > F* (pronounced F star)

> No, it isn't.

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

"F* (pronounced F star)".