Update juvix-stdlib to point to main · anoma/juvix@74c9fe0

Commit

Update juvix-stdlib to point to main

This updates the juvix-stdlib to contain:

* anoma/juvix-stdlib#111
* anoma/juvix-stdlib#114

paulcadman committed Jul 31, 2024

1 parent 3a9eb20 commit 74c9fe0

+22 −0		Stdlib/Data/List.juvix
+17 −17		Stdlib/Data/List/Base.juvix
+12 −0		Stdlib/Data/Maybe.juvix
+27 −2		Stdlib/Data/Range.juvix
+11 −0		Stdlib/Data/Result.juvix
+1 −1		Stdlib/Data/String/Base.juvix
+8 −0		Stdlib/Data/Unit.juvix
+2 −0		Stdlib/Trait.juvix
+4 −0		Stdlib/Trait/Foldable.juvix
+45 −0		Stdlib/Trait/Foldable/Monomorphic.juvix
+26 −0		Stdlib/Trait/Foldable/Polymorphic.juvix
+5 −0		Stdlib/Trait/Functor.juvix
+26 −0		Stdlib/Trait/Functor/Monomorphic.juvix
+21 −0		Stdlib/Trait/Functor/Polymorphic.juvix