diff --git a/CHANGELOG.org b/CHANGELOG.org
index 9de302812..6d3a87ec2 100644
--- a/CHANGELOG.org
+++ b/CHANGELOG.org
@@ -1,3 +1,21 @@
+* 0.3.2
+** User Facing Changes
+- _Lambda Changes_
+  - Added an error node so that users can express failure
+    + This is translated into a maybe type internally for now, and
+      affects the compilation downwards.
+** Bug Fixes
+- =Gapply= (the interpreter) now works correctly for the BITC in the
+  =SWAP= case.
+- Fix an issue where higher order functions in the Lambda frontend
+  would generate incorrect logic when extracting to the core category
+*** Internal
+- The pipeline extractor now properly takes the input stream given to it
+- The Vamp-IR extractor function now properly accepts null streams
+** Internal Changes
+- A maybe function now exists generically throughout the codebase,
+  allowing one to maybe any object type. See Maybe in the Generics
+  section of the documentation.
 * 0.3.1
 ** Bug Fixes
 - Lambda to geb should now work, we fixed a bug with how case was
diff --git a/geb.asd b/geb.asd
index d46ab4f00..5f8705847 100644
--- a/geb.asd
+++ b/geb.asd
@@ -5,7 +5,7 @@
                        :cl-reexport
                        :mgl-pax
                        :command-line-arguments)
-  :version "0.3.1"
+  :version "0.3.2"
   :description "Gödel, Escher, Bach, a categorical view of computation"
   :build-pathname "../build/geb.image"
   :entry-point "geb.entry::entry"