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

No, it isn't.
2 comments
aleph_minus_one 12 minutes ago
> > F* (pronounced F star)

> No, it isn't.

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

"F* (pronounced F star)".

link
rustfreeforme 1 hour ago
"Now introducing my new language, FFUUUUU--. It's a fork of Rust."
link