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