Comment on F*: A general-purpose proof-oriented programming languageparentComments−vrighter1mono, they can't in indentation based languages. changing indentation implies changing the code. A formatter isn't allowed to do that
Comments
no, they can't in indentation based languages. changing indentation implies changing the code. A formatter isn't allowed to do that