Closed bennycode closed 6 years ago
Oops! Sorry for wasting your time. 🙈
Nevermind. To be honest, I once pointed out the exact same "typo" to someone myself :flushed: Maybe that tells us that we should try to avoid this abbreviation altogether :thinking:
Hey, thanks for taking the time and filing this PR. However, there actually was no typo here. iff is short for If and only if, a stronger statement than if.