wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-24 22:11:15 +02:00
Code Activity

docs: add another equivalence for the implication operator

Browse source 
the second equivalence, using a if-else expression, aligns much closer to how most humans think about implication, adding it might help some people :)
This commit is contained in:
Gwenn Le Bihan 2025-05-19 17:37:29 +02:00
parent 8c10104e9e
commit 51151c2c28
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 ## Logical implication
Equivalent to `!`*b1* `||` *b2*. Equivalent to `!`*b1* `||` *b2* (or `if` *b1* `then` *b2* `else true`)
[Logical implication]: #logical-implication [Logical implication]: #logical-implication