From 51151c2c28d5519206148945611812963dc0fb93 Mon Sep 17 00:00:00 2001 From: Gwenn Le Bihan Date: Mon, 19 May 2025 17:37:29 +0200 Subject: [PATCH] docs: add another equivalence for the implication operator the second equivalence, using a if-else expression, aligns much closer to how most humans think about implication, adding it might help some people :) --- doc/manual/source/language/operators.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/source/language/operators.md b/doc/manual/source/language/operators.md index dbf2441cb..ab74e8a99 100644 --- a/doc/manual/source/language/operators.md +++ b/doc/manual/source/language/operators.md @@ -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