Complete contributing guide (#2165)
* Complete contributing guide With the contents of ./CONTRIBUTING.md (mainly the pre commit hook to format) * Delete CONTRIBUTING.md Included in the main documentation * Move style guidelines As building and testing are more important imo * Correct grammar Co-authored-by:Jan Hrcek <2716069+jhrcek@users.noreply.github.com> * Note cabal run behaviour Co-Authored-By: jhrcek Co-authored-by:
Jan Hrcek <2716069+jhrcek@users.noreply.github.com> Co-authored-by:
mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
CONTRIBUTING.md
deleted
100644 → 0
Please register or sign in to comment