In addition to the Covenant code of conduct, this file contains some more specific restrictions at the end of it.
In the interest of fostering an open and welcoming environment, we as contributors and maintainers pledge to making participation in our project and our community a harassment-free experience for everyone, regardless of age, body size, disability, ethnicity, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, religion, or sexual identity and orientation.
Examples of behavior that contributes to creating a positive environment include:
- Using welcoming and inclusive language
- Being respectful of differing viewpoints and experiences
- Gracefully accepting constructive criticism
- Focusing on what is best for the community
- Showing empathy towards other community members
Examples of unacceptable behavior by participants include:
- The use of sexualized language or imagery and unwelcome sexual attention or advances
- Trolling, insulting/derogatory comments, and personal or political attacks
- Public or private harassment
- Publishing others’ private information, such as a physical or electronic address, without explicit permission
- Other conduct which could reasonably be considered inappropriate in a professional setting
Project maintainers are responsible for clarifying the standards of acceptable behavior and are expected to take appropriate and fair corrective action in response to any instances of unacceptable behavior.
Project maintainers have the right and responsibility to remove, edit, or reject comments, commits, code, wiki edits, issues, and other contributions that are not aligned to this Code of Conduct, or to ban temporarily or permanently any contributor for other behaviors that they deem inappropriate, threatening, offensive, or harmful.
This Code of Conduct applies both within project spaces and in public spaces when an individual is representing the project or its community. Examples of representing a project or community include using an official project e-mail address, posting via an official social media account, or acting as an appointed representative at an online or offline event. Representation of a project may be further defined and clarified by project maintainers.
Instances of abusive, harassing, or otherwise unacceptable behavior may be
reported by contacting the project team at martin.bodin@ens-lyon.org. All
complaints will be reviewed and investigated and will result in a response that
is deemed necessary and appropriate to the circumstances. The project team is
obligated to maintain confidentiality with regard to the reporter of an incident.
Further details of specific enforcement policies may be posted separately.
Project maintainers who do not follow or enforce the Code of Conduct in good faith may face temporary or permanent repercussions as determined by other members of the project’s leadership.
This Code of Conduct is adapted from the Contributor Covenant, version 1.4, available at https://www.contributor-covenant.org/version/1/4/code-of-conduct.html
In addition to the usual Covenant code of conduct, here are some behaviours that we consider disrespectful in the scope of this project:
- strongly criticising a programming language without strong and constructive argument. Typically, stating that some features of the R programming language are obviously wrong is not considered to be an acceptable behaviour: this project aims at providing a scientific and descriptive formalisation of R; it does not aim to provide any judgment about R, even if the language is not very principled. This programming language is de facto used by a large number of programmers, often for very good reasons, and one should not ignore this before judging. Furthermore, rewriting everything that have been implemented in R into another programming language would take a lot of effort, and these costs should not be ignored. Proposing a change to R’s behaviour that would break very few libraries should not be made on this project, but on R’s.
- This project is a large project, despite the fact that it contains very few proofs. In particular, this means that the value of this project does not come from its proofs, in contrary to most Coq projects: it comes from the trust that has been enforced on this formalisation. Please consider the endeavors and goals of the contributors before judging it by a metric that fits most Coq projects but would not necessarily be relevant in the case of this project (typically proof size). If you disagree, please provide arguments.