Update juvix-stdlib ref to latest main (#3148)

paulcadman · web-flow · commit 1a8b6324631b · 2024-11-06T15:52:58.000Z
This PR updates the juvix-stdlib submodule ref to the latest main branch. It incorporates changes from: * anoma/juvix-stdlib#134
diff --git a/juvix-stdlib b/juvix-stdlib
@@ -1 +1 @@
-Subproject commit 8bc67b874860a26cba02d853b879e9c0a347efe2
+Subproject commit 0080b1183ab55e5180e69bfc3987e4cd6edbc230
