Skip to content

Commit

Permalink
Add new modules to index.juvix (#136)
Browse files Browse the repository at this point in the history
  • Loading branch information
lukaszcz authored Nov 7, 2024
1 parent 0080b11 commit b50851a
Showing 1 changed file with 13 additions and 3 deletions.
16 changes: 13 additions & 3 deletions index.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -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;

0 comments on commit b50851a

Please sign in to comment.