[ re #3171 ] Correct mistakenly forgotten to be updated changelog

idris-lang · Dec 29, 2023 · 2f2102c · 2f2102c
1 parent 3fe95d4
commit 2f2102c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -14,6 +14,8 @@
 
 * `Data.List.Lazy` was moved from `contrib` to `base`.
 
+* Added an `Interpolation` implementation for primitive decimal numeric types and `Nat`.
+
 #### Contrib
 
 * `Data.List.Lazy` was moved from `contrib` to `base`.
@@ -270,8 +272,6 @@
 * `Ref` interface from `Data.Ref` inherits `Monad` and was extended by a function
   for value modification implemented through reading and writing by default.
 
-* Added an `Interpolation` implementation for primitive decimal numeric types and `Nat`.
-
 #### System
 
 * Changes `getNProcessors` to return the number of online processors rather than