Contributing and coding styles guidelines
lthms opened this issue · comments
Thomas Letan commented
Now that FreeSpec becomes a truely collaborative project with more than one contributor, I think it is time to formalize a bit how changes shall be integrated into master
.
Similarly, I personally like when a project comes with a well-defined and well-enforced coding style.
Unfortunately, I don’t know the tooling for OCaml, and I am not aware of any tool for Coq. But formalizing our expectation is a necessary first step.