From 6c375c67fe7a9c8db79d2ab9dc8c9494c5ffd961 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Mon, 7 Oct 2024 18:44:28 +0200 Subject: [PATCH 1/3] merge containers into stdlib --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 6010ad32f8..0e143831c4 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 6010ad32f80498432b9a14752a0b7b50e9b36763 +Subproject commit 0e143831c4fcd4dd4cfac6c61907232f10dabcf0 From 32d8870253cc7789824b5c079854120ea723188b Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Wed, 9 Oct 2024 18:47:00 +0200 Subject: [PATCH 2/3] stdlib update --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 0e143831c4..3cfc0a2672 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 0e143831c4fcd4dd4cfac6c61907232f10dabcf0 +Subproject commit 3cfc0a2672c7c10e2fc502f2160548db48681753 From 50eac3a3c6949b7e9dd70b9c8bc4c9a874eb7aad Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Wed, 9 Oct 2024 19:24:17 +0200 Subject: [PATCH 3/3] stdlib formatting update --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 3cfc0a2672..a38bcd2d29 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 3cfc0a2672c7c10e2fc502f2160548db48681753 +Subproject commit a38bcd2d2935b379d606591ac78eaa2cd0cf24b7