Added v2.1.1 CHANGELOG entry

MatthewDaggitt · MatthewDaggitt · commit dd7c4818c608 · 2024-08-20T17:59:59.000+08:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,8 @@
 Version 2.1.1
 =============
 
-The library has been tested using Agda 2.7.0 release candidate 1.
+The library has been tested using Agda 2.7.0.
+
+* Fixed `Reflection.AST.Definition` to take into account Agda now exposes a `Quantity` argument on the reflection `constructor` constructor.
+
+* In `Reflection.AST.Show` added new function `showQuantity`
