Comment on F*: A general-purpose proof-oriented programming languageparentComments−zlsa1moI think this falls under "[wanting] to know the user case the authors had in mind"−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
I think this falls under "[wanting] to know the user case the authors had in mind"
There is no "user case", it's called use case.
Perhaps English is not a native language for zlsa?