diff options
| author | Cyril Cohen | 2020-09-27 13:35:39 +0200 |
|---|---|---|
| committer | Reynald Affeldt | 2020-10-12 09:31:22 +0900 |
| commit | f5840a92d26d4436582e05b60bcd6fcf2a2a18ff (patch) | |
| tree | 0a72d0bf1b65a8ca03462c65fc96776d78b686ad /CHANGELOG_UNRELEASED.md | |
| parent | 6f0f46fc2249023924f62d4400014a500474e1b0 (diff) | |
Fixing and documenting the change of meaning of `>=< y`
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index c837a2f..73baae1 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -269,6 +269,13 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). `{in _, forall x y, _}`, hence reordering the arguments. Made them hints for smoother combination with `comparable_big[lr]`. +- In `order.v`, + + `>=< y` stands for `[pred x | x >=< y]` + + `>< y` stands for `[pred x | x >< y]` + + and the same holds for the dual `>=<^d`, `><^d`, the product + `>=<^p`, `><^p`, and lexicographic `>=<^l`, `><^l`. + The previous meanings can be obtained through `>=<%O x` and `><%O x`. + ### Renamed |