Skip to content

Commit

Permalink
Update stdlib submodule to current stdlib main (#2364)
Browse files Browse the repository at this point in the history 
This PR updates the stdlib submodule reference to point to
anoma/juvix-stdlib:main, after merging
anoma/juvix-stdlib#80 and
anoma/juvix-stdlib#81
  • Loading branch information
@paulcadman
paulcadman authored Sep 14, 2023
1 parent 8daca2b commit d6820f5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion juvix-stdlib
Submodule juvix-stdlib updated 11 files
+3 −2 Stdlib/Data/Int/Base.juvix
+5 −5 Stdlib/Data/Int/Range.juvix
+3 −2 Stdlib/Data/List.juvix
+5 −6 Stdlib/Data/List/Base.juvix
+5 −5 Stdlib/Data/Nat/Range.juvix
+3 −2 Stdlib/Data/Product.juvix
+1 −2 Stdlib/Data/Product/Base.juvix
+2 −7 test/Makefile
+20 −23 test/Test.juvix
+1 −3 test/Test/Arb.juvix
+4 −1 test/juvix.yaml

0 comments on commit d6820f5

Please sign in to comment.