Comment on F*: A general-purpose proof-oriented programming languageparentComments−BretonForearm1moThere is no "user case", it's called use case.−aleph_minus_one1moThere is no "user case", it's called use case.Perhaps English is not a native language for zlsa?
Comments
There is no "user case", it's called use case.
Perhaps English is not a native language for zlsa?