From d5cebb7fdb1c1bc120a3fdcffe44e82cc8c8639f Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Mon, 13 May 2024 17:42:40 +0200 Subject: [PATCH 1/3] use multiway if in the standard library --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index 0c76297314..c3f55e9368 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit 0c762973149f398488175186017d99bbaf168b4f +Subproject commit c3f55e936800ab403ffcd28bf80b6a8eca273c88 From cba34634a2014b222d57bfb41e57812a672219f5 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Mon, 13 May 2024 18:41:42 +0200 Subject: [PATCH 2/3] update stdlib --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index c3f55e9368..be0f086c39 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit c3f55e936800ab403ffcd28bf80b6a8eca273c88 +Subproject commit be0f086c396ecbe9ae4bda7d602f8ace5ab57c77 From 8aa6fb95832940764146f4cc4a63f72da69ba759 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Mon, 13 May 2024 18:57:23 +0200 Subject: [PATCH 3/3] update stdlib --- juvix-stdlib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/juvix-stdlib b/juvix-stdlib index be0f086c39..a2b2a04ae1 160000 --- a/juvix-stdlib +++ b/juvix-stdlib @@ -1 +1 @@ -Subproject commit be0f086c396ecbe9ae4bda7d602f8ace5ab57c77 +Subproject commit a2b2a04ae1778ade4f77e79cb909f1b213dbac4c