Skip to content

Conversation

@leventerevesz
Copy link
Contributor

No description provided.

@codecov
Copy link

codecov bot commented Apr 20, 2020

Codecov Report

Merging #815 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop     #815   +/-   ##
========================================
  Coverage    69.83%   69.83%           
========================================
  Files           70       70           
  Lines         6603     6603           
========================================
  Hits          4611     4611           
  Misses        1992     1992           

@felixdivo
Copy link
Collaborator

Thanks for your PR. However, the second "iff" is intentional as it stands for "if and only if". We can also delete it if it confuses people I guess, since it is mostly (only?) used in mathematical contexts. I have no strong feelings about this. @hardbyte What do you think?

@hardbyte
Copy link
Owner

hardbyte commented May 8, 2020

Yeah lets aim to be more inclusive in our language :-)

@felixdivo felixdivo merged commit ef2ec5f into hardbyte:develop May 11, 2020
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.

3 participants