V0.6.0

anoma · Nov 22, 2023 · a9c86b4 · a9c86b4
1 parent c51e67b
commit a9c86b4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/CHANGELOG.org b/CHANGELOG.org
@@ -1,3 +1,13 @@
+* 0.6.0
+** Juvix Testing patch
+- This release focuses mainly on a new cli feature =test= and =library=
+  + =test= adds a simple test call in vampir
+  + =library= dumps the standard library along with the desired data
+** User facing changes
+- =to-circuit= in =seqn= has it's arguments reversed
+- various vampir library functions have changed
+  + =mod_32= changed to =mod_n=
+  + =nth= changed to =n_th=
 * 0.5.1
 ** Bug fix patch
 - =mgl-pax= updated on us causing build failures

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