Skip to content

Commit

Permalink
Update stdlib submodule to main
Browse files Browse the repository at this point in the history
  • Loading branch information
@paulcadman
paulcadman committed Sep 14, 2023
1 parent 218e4d3 commit e1319f8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion juvix-stdlib
Submodule juvix-stdlib updated 12 files
+13 −13 Stdlib/Data/Fixity.juvix
+3 −2 Stdlib/Data/Int/Base.juvix
+6 −6 Stdlib/Data/Int/Range.juvix
+3 −2 Stdlib/Data/List.juvix
+12 −13 Stdlib/Data/List/Base.juvix
+6 −6 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 e1319f8

Please sign in to comment.