Release 0.2.3.0

andrewthad · andrewthad · commit 79ab9cbe38c3 · 2025-06-12T16:01:53.000-04:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,19 @@
 # Revision history for natural-arithmetic
 
+## 0.2.3.0 -- 2025-06-12
+
+* Add Fin.greatest#
+* Add Plus.commutative#
+* Add substitution functions for unlifted less-than-or-equal-to
+* Add Nat.substitute#
+* Add Eq.symmetric#
+* Add nativeFrom32#
+* Add incrementL#
+* Add testLessThanEqual#
+* Add nativeTo32#
+* Add Fin.ascendFromToM_#
+* Add Fin.weaken#
+
 ## 0.2.2.0 -- 2025-04-07
 
 * Add Fin.weakenL#
diff --git a/natural-arithmetic.cabal b/natural-arithmetic.cabal
@@ -1,6 +1,6 @@
 cabal-version:   2.2
 name:            natural-arithmetic
-version:         0.2.2.0
+version:         0.2.3.0
 synopsis:        Arithmetic of natural numbers
 description:
   A search for terms like `arithmetic` and `natural` on hackage reveals
