Version 0.9.6

RyanGlScott · Dec 30, 2024 · c9654f2 · c9654f2
1 parent dbf1182
commit c9654f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,4 +1,4 @@
-### next [????.??.??]
+### 0.9.6 [2024.12.30]
 * Require `singletons-base-3.5` and GHC 9.12.
 
 ### 0.9.5 [2024.05.12]

diff --git a/eliminators.cabal b/eliminators.cabal
@@ -1,5 +1,5 @@
 name:                eliminators
-version:             0.9.5
+version:             0.9.6
 synopsis:            Dependently typed elimination functions using singletons
 description:         This library provides eliminators for inductive data types,
                      leveraging the power of the @singletons@ library to allow