Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use 'if and only if' for conditions that are sufficient as well as necessary. #892

Closed
wants to merge 1 commit into from

Conversation

Eelis
Copy link
Contributor

@Eelis Eelis commented Aug 6, 2016

No description provided.

@jensmaurer
Copy link
Member

We believe some of the changes in the core section are actively harmful (and wrong), since we're often not establishing equivalence, but defining a term.

For some of these, moving the "only" might be worthwhile, but that would be a different change.

@jensmaurer jensmaurer closed this Nov 12, 2016
@Eelis Eelis deleted the iff branch January 4, 2017 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants