From b50851a41eddf0b77a82a62251dc4ce9a3c4d57a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Czajka?=
 <62751+lukaszcz@users.noreply.github.com>
Date: Thu, 7 Nov 2024 10:44:24 +0100
Subject: [PATCH] Add new modules to index.juvix (#136)

---
 index.juvix | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/index.juvix b/index.juvix
index b5d09be2..7b307b9a 100644
--- a/index.juvix
+++ b/index.juvix
@@ -10,8 +10,18 @@ Compiler: http://github.com/anoma/juvix
 module index;
 
 import Stdlib.Prelude;
-import Stdlib.Data.Nat.Ord;
-import Stdlib.Data.Int.Ord;
-import Stdlib.Data.String.Ord;
 
+import Stdlib.Data.BinaryTree;
+import Stdlib.Data.Set;
+import Stdlib.Data.Map;
+import Stdlib.Data.UnbalancedSet;
+import Stdlib.Data.Queue;
+import Stdlib.Data.Tree;
+
+import Stdlib.Cairo.Ec;
 import Stdlib.Cairo.Poseidon;
+import Stdlib.Cairo.Pedersen;
+
+import Stdlib.Debug;
+
+import Stdlib.Extra.Gcd;