Comment by kirlfiend_grill 8 hours ago [flagged] 1 comment kirlfiend_grill Reply aleph_minus_one 7 hours ago > > F* (pronounced F star)> No, it isn't.https://fstar-lang.org/ claims otherwise:"F* (pronounced F star)".
aleph_minus_one 7 hours ago > > F* (pronounced F star)> No, it isn't.https://fstar-lang.org/ claims otherwise:"F* (pronounced F star)".
> > F* (pronounced F star)
> No, it isn't.
https://fstar-lang.org/ claims otherwise:
"F* (pronounced F star)".