Add to CHANGELOG

idris-lang · Aug 28, 2023 · a536b5e · a536b5e
1 parent 6bec06d
commit a536b5e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -107,6 +107,9 @@
 
 * Fixed a bug that caused `f` to sometimes be replaced by `fx` after matching `fx = f x`.
 
+* Refactor the idris2protocols package to depend on fewer Idris2 modules.
+  We can now export the package independently.
+
 ### Library changes
 
 #### Prelude