Bump version to 0.3.2 🎉

README.md

@@ -9,14 +9,20 @@
 <tr>
 <td>
 
-[![The Juvix compiler CI](https://github.com/anoma/juvix/actions/workflows/ci.yml/badge.svg)](https://github.com/anoma/juvix/actions/workflows/ci.yml)
+<a
+href="https://github.com/anoma/juvix/actions/workflows/ci.yml"><img
+src="https://github.com/anoma/juvix/actions/workflows/ci.yml/badge.svg"
+alt="The Juvix compiler CI" /></a>
 
 </td>
 </tr>
 <tr>
 <td>
 
-[![Nightly build, release and benchmark](https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml/badge.svg)](https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml)
+<a
+href="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml"><img
+src="https://github.com/anoma/juvix-nightly-builds/actions/workflows/release-nightly.yaml/badge.svg"
+alt="Nightly build, release and benchmark" /></a>
 
 </td>
 </tr>

docs/howto/installing.md

@@ -55,9 +55,9 @@ Juvix as follows:
 
 ```shell
 cd /tmp
-curl -OL https://github.com/anoma/juvix/releases/download/v0.3.1/juvix-linux_x86_64-v0.3.1.zip
-unzip juvix-linux_x86_64-v0.3.1.zip
-mv juvix-linux_x86_64-v0.3.1 ~/.local/bin/juvix
+curl -OL https://github.com/anoma/juvix/releases/download/v0.3.2/juvix-linux_x86_64-v0.3.2.zip
+unzip juvix-linux_x86_64-v0.3.2.zip
+mv juvix-linux_x86_64-v0.3.2 ~/.local/bin/juvix
 ```
 
 ### Building Juvix from source

package.yaml

@@ -1,5 +1,5 @@
 name: juvix
-version: 0.3.1
+version: 0.3.2
 license: GPL-3.0-only
 license-file: LICENSE.md
 copyright: (c) 2022- Heliax AG.

tests/positive/issue1731/builtinTrace.juvix

@@ -8,7 +8,7 @@ axiom trace : {A : Type} → A → A;
 
 terminating
 f : Nat → Nat → Nat;
-f x y := if (x == 0) y (trace x >>> (f (sub x 1) y));
+f x y := if (x == 0) y (trace x >>> f (sub x 1) y);
 
 {-
 f 4 0 =
@@ -19,6 +19,5 @@ trace 4 >>> f 3 0
 => trace 4 >>> trace 3 >>> trace 2 >>> trace 1 0
 = 0
 -}
-
 main : IO;
 main := printNatLn $ f 4 0;

tests/smoke/Commands/version-help-doctor.smoke.yaml

@@ -7,7 +7,7 @@ tests:
     stdout:
       matches:
         regex: |-
-          ^Juvix version 0.3.1-([a-f0-9]{7}).*
+          ^Juvix version 0.3.2-([a-f0-9]{7}).*
 
   - name: cli-numeric-version
     command: