V0.3.1 release

This is a minor bug fix release, fixing the case transformation of lambda to geb
anoma · May 9, 2023 · 50f7326 · 50f7326
1 parent a33f9de
commit 50f7326
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.org b/CHANGELOG.org
@@ -1,3 +1,7 @@
+* 0.3.1
+** Bug Fixes
+- Lambda to geb should now work, we fixed a bug with how case was
+  translated, and created some tests
 * 0.3.0
 ** User Facing Changes
 - _Lambda Changes_

diff --git a/geb.asd b/geb.asd
@@ -5,7 +5,7 @@
                        :cl-reexport
                        :mgl-pax
                        :command-line-arguments)
-  :version "0.3.0"
+  :version "0.3.1"
   :description "Gödel, Escher, Bach, a categorical view of computation"
   :build-pathname "../build/geb.image"
   :entry-point "geb.entry::entry"