Fixed duplicate style guides and incorrect indentations

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Fixed duplicate style guides and incorrect indentations #45

Closed davidcok closed 2 years ago

davidcok commented 2 years ago

Merged styleguide with the one in the main project; made indentations 2 spaces

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

parno commented 2 years ago

Seems like a reasonable change to me, but if that rule is being removed, should all of the existing lemmas in the library have their Lemma prefix removed?