Skip to content

Commit

Permalink
Update juvix-stdlib submodule reference to main (#2675)
Browse files Browse the repository at this point in the history 
This PR updates the juvix-stdlib submodule reference to the latest main.
  • Loading branch information
@paulcadman
paulcadman authored Feb 29, 2024
1 parent dcea0bb commit 8c857bd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion juvix-stdlib
Submodule juvix-stdlib updated 10 files
+1 −1 Stdlib/Data/Int.juvix
+2 −2 Stdlib/Data/List/Base.juvix
+1 −1 Stdlib/Data/Nat.juvix
+2 −2 Stdlib/Data/Product.juvix
+6 −1 Stdlib/Data/Range.juvix
+9 −1 Stdlib/Extra/Gcd.juvix
+1 −1 Stdlib/Trait/DivMod.juvix
+1 −1 Stdlib/Trait/Numeric.juvix
+4 −1 test/Package.juvix
+4 −4 test/Test/Arb.juvix

0 comments on commit 8c857bd

Please sign in to comment.