Comment on F*: A general-purpose proof-oriented programming languageparentComments−throw2342342341moI suspect this is a "what you are used to" and have trained yourself to look out for over many years of code reading.
Comments
I suspect this is a "what you are used to" and have trained yourself to look out for over many years of code reading.