search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Consolidate duplicate Dafny style guides #44

Closed davidcok closed 2 years ago

davidcok commented 2 years ago

This issue duplicates #2430 in the Dafny project.

There is a Dafny style guide in the main Dafny project. There is a modification of that style guide in the libraries project.

Duplicating information leads to maintenance headaches.

I propose consolidating to one style guide (in the main project) that is referenced from the libraries project.

davidcok commented 2 years ago

Closed by PR#45