diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-07 23:37:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-07 23:37:42 +0100 |
commit | c1921514d4f70921a30aa5414bb379c1d5710d1c (patch) | |
tree | ed253ca9fbb4589201b110f70399a75b8ebb28df /doc/manual/src/language | |
parent | ae6de012eefb6fe37cd2eb1e6abc40c3fd62d6f9 (diff) | |
parent | d910dfe97892dcf26e83b6d591d46fbdfe2c0944 (diff) |
Merge pull request #7700 from iFreilicht/patch-1
docs: Fix small formatting errors
Diffstat (limited to 'doc/manual/src/language')
-rw-r--r-- | doc/manual/src/language/operators.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual/src/language/operators.md b/doc/manual/src/language/operators.md index 1f918bd4d..90b325597 100644 --- a/doc/manual/src/language/operators.md +++ b/doc/manual/src/language/operators.md @@ -24,7 +24,7 @@ | [Equality] | *expr* `==` *expr* | none | 11 | | Inequality | *expr* `!=` *expr* | none | 11 | | Logical conjunction (`AND`) | *bool* `&&` *bool* | left | 12 | -| Logical disjunction (`OR`) | *bool* `\|\|` *bool* | left | 13 | +| Logical disjunction (`OR`) | *bool* <code>\|\|</code> *bool* | left | 13 | | [Logical implication] | *bool* `->` *bool* | none | 14 | [string]: ./values.md#type-string @@ -116,7 +116,7 @@ The result is a string. [store path]: ../glossary.md#gloss-store-path [store]: ../glossary.md#gloss-store -[Path and string concatenation]: #path-and-string-concatenation +[String and path concatenation]: #string-and-path-concatenation ## Update @@ -133,7 +133,7 @@ If an attribute name is present in both, the attribute value from the latter is Comparison is -- [arithmetic] for [number]s +- [arithmetic] for [number]s - lexicographic for [string]s and [path]s - item-wise lexicographic for [list]s: elements at the same index in both lists are compared according to their type and skipped if they are equal. |