Comment on F*: A general-purpose proof-oriented programming languageparentComments−floxy1mocopy-pastingUnderappreciated benefit of side benefit of indentation based languages: no copy-pasta.
Comments
Underappreciated benefit of side benefit of indentation based languages: no copy-pasta.