From 8892464bb0b238cd3eae6c5e64c0c2dce85489b2 Mon Sep 17 00:00:00 2001
From: mariari <mariari@protonmail.com>
Date: Fri, 13 Oct 2023 04:14:26 +0800
Subject: [PATCH] v0.5.0 release

---
 CHANGELOG.org | 19 +++++++++++++++++++
 geb.asd       |  2 +-
 2 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.org b/CHANGELOG.org
index d390fe934..fa868c661 100644
--- a/CHANGELOG.org
+++ b/CHANGELOG.org
@@ -1,3 +1,22 @@
+* 0.5.0
+
+** User Facing Changes
+- Natural Numbers have been added to the pipeline, from lambda down to
+  vampir generation
+  + Added =modulo= logic down the pipeline as well
+- The Lambda Pipeline into Geb now Assumes =24= bits of precision
+- We now have a new intermediate layer, the =seqn= layer replaces the
+  =bitc= layer as the default, hopefully ending in more optimal code
+- Made some optimization passes to the vampir backend, along with
+  breaking those changes into passes
+- Improved optional value compilation from the lambda level
+** Internal Changes
+- Moved the following generic functions to the generic package
+  + =so-eval=
+  + =width=
+  + =so-hom=obj=
+** Bug fix
+- Fixed a bug where =obj-equalp= would compute equality incorrectly
 * 0.4.1
 ** Bug fix patch
 - Previously we used =asdf:system-version= which is not defined in
diff --git a/geb.asd b/geb.asd
index 5032eb2c7..1d990a4ff 100644
--- a/geb.asd
+++ b/geb.asd
@@ -5,7 +5,7 @@
                        :cl-reexport
                        :mgl-pax
                        :command-line-arguments)
-  :version "0.4.1"
+  :version "0.5.0"
   :description "Gödel, Escher, Bach, a categorical view of computation"
   :build-pathname "../build/geb.image"
   :entry-point "geb.entry::entry"