V0.4.0 release

This is another minor release, mainly focusing on some maintaince and
minor codebase imrpovements. Read the changelog and or merge history
for this release for a more complete set of change

Author: mariari

CHANGELOG.org

@@ -1,3 +1,21 @@
+* 0.4.0
+** User Facing Changes
+- _Binary_
+  + Binary now has a =-v= flag for version
+  + the old vampir =-v= has been moved to =-p=
+- _GUI_
+  + The gui can now generate out =svg= files, read the docs to find
+    out more!
+- _Libraries_
+  + The tri module has been moved to the =geb-decision= module, with
+    properly exported functions
+** Internal changes
+- There is now a maintainers guide.
+- Documentation has been fixed to recreate the old behavior of
+  mgl-pax. More can be read [[https://github.com/melisgl/mgl-pax/issues/30][here]].
+- More testing of BITC.
+- Better Vampir generation
+  + Namely we can generate lists and exponentials
 * 0.3.2-1
 - Revision fixup
   + MGL-pax had a regression where @documentation is not exported, we

geb.asd

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