Conjure v0.5.14

rudymatela · Feb 16, 2024 · 0e82125 · 0e82125
1 parent b11f4dc
commit 0e82125
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/changelog.md b/changelog.md
@@ -2,8 +2,8 @@ Changelog for (Code) Conjure
 ============================
 
 
-upcoming
---------
+v0.5.14 (February 2024)
+-----------------------
 
 * improve commutative pruning, slightly faster Conjure
 * add `carryOn`, `rewriting`, `requireDescent`, `adHocRedundancy` switches

diff --git a/code-conjure.cabal b/code-conjure.cabal
@@ -3,7 +3,7 @@
 -- Copyright (C) 2021-2024 Rudy Matela
 -- Distributed under the 3-Clause BSD licence (see the file LICENSE).
 name:                code-conjure
-version:             0.5.13
+version:             0.5.14
 synopsis:            synthesize Haskell functions out of partial definitions
 description:
   Conjure is a tool that synthesizes Haskell functions out of partial definitions.
@@ -67,7 +67,7 @@ source-repository head
 source-repository this
   type:            git
   location:        https://github.com/rudymatela/conjure
-  tag:             v0.5.13
+  tag:             v0.5.14
 
 library
   exposed-modules: Conjure