Skip to content

Commit b50851a

Browse files
authored
Add new modules to index.juvix (#136)
1 parent 0080b11 commit b50851a

File tree

1 file changed

+13
-3
lines changed

1 file changed

+13
-3
lines changed

index.juvix

Lines changed: 13 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,18 @@ Compiler: http://github.com/anoma/juvix
1010
module index;
1111

1212
import Stdlib.Prelude;
13-
import Stdlib.Data.Nat.Ord;
14-
import Stdlib.Data.Int.Ord;
15-
import Stdlib.Data.String.Ord;
1613

14+
import Stdlib.Data.BinaryTree;
15+
import Stdlib.Data.Set;
16+
import Stdlib.Data.Map;
17+
import Stdlib.Data.UnbalancedSet;
18+
import Stdlib.Data.Queue;
19+
import Stdlib.Data.Tree;
20+
21+
import Stdlib.Cairo.Ec;
1722
import Stdlib.Cairo.Poseidon;
23+
import Stdlib.Cairo.Pedersen;
24+
25+
import Stdlib.Debug;
26+
27+
import Stdlib.Extra.Gcd;

0 commit comments

Comments
 (0)