From 28d535373df1016f655a3303cf0ef96d9a9aecc0 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sat, 24 Jul 2021 10:34:47 +0200
Subject: [PATCH] CHANGELOG.

---
 CHANGELOG.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0282b1e8..e78f6549 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -120,6 +120,8 @@ API-breaking change is listed.
     Haskell and friends.
   + Add `Params` and `Proper` instances for `curry`/`uncurry`,
     `curry3`/`uncurry3`, and `curry4`/`uncurry4`.
+  + Add lemmas that say that `curry`/`curry3`/`curry4` and
+    `uncurry`/`uncurry3`/`uncurry4` are inverses.
 - Rename `map_union_subseteq_l_alt` â†’ `map_union_subseteq_l'` and
   `map_union_subseteq_r_alt` â†’ `map_union_subseteq_r'` to be consistent with
   `or_intro_{l,r}'`.
-- 
GitLab