From 4100164d346e76a498ec202dc540652870847aae Mon Sep 17 00:00:00 2001 From: Dan Frumin <dan@groupoid.moe> Date: Sat, 5 Jun 2021 15:13:56 +0200 Subject: [PATCH] Update changelog --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5a18b345..deec3e67 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -42,6 +42,7 @@ API-breaking change is listed. - Add function `kmap` to transform the keys of finite maps. - Set `Hint Mode` for the classes `PartialOrder`, `TotalOrder`, `MRet`, `MBind`, `MJoin`, `FMap`, `OMap`, `MGuard`, `SemiSet`, `Set_`, `TopSet`, and `Infinite`. +- Make `map_filter_strong_ext` and `map_filter_ext` bidirectional. The following `sed` script should perform most of the renaming (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`): -- GitLab