← Back to context

Comment by aleph_minus_one

6 hours ago

> > F* (pronounced F star)

> No, it isn't.

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

"F* (pronounced F star)".

0 comments

aleph_minus_one

Reply

No comments yet

Contribute on Hacker News ↗