nixos/nix
1
1
Fork 0
mirror of https://github.com/NixOS/nix.git synced 2025-12-01 22:50:59 +01:00
Code Activity

Merge pull request #13585 from NixOS/mergify/bp/2.28-maintenance/pr-13232

Browse source 
docs: add another equivalence for the implication operator (backport #13232)
This commit is contained in:
mergify[bot] 2025-07-30 19:32:14 +00:00 • committed by GitHub
commit b2a2cf6934
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/manual/source/language/operators.md
View file

@ -196,7 +196,7 @@ All comparison operators are implemented in terms of `<`, and the following equi
## Logical implication
Equivalent to `!`*b1* `||` *b2*.
Equivalent to `!`*b1* `||` *b2* (or `if` *b1* `then` *b2* `else true`)
[Logical implication]: #logical-implication