Skip to content

Commit

Permalink
update stdlib submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
@janmasrovira
janmasrovira committed Sep 29, 2022
1 parent 683f979 commit 271dd7c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion juvix-stdlib
Submodule juvix-stdlib updated 12 files
+2 −2 .github/workflows/ci.yml
+9 −9 Stdlib/Data/Bool.juvix
+44 −44 Stdlib/Data/List.juvix
+4 −4 Stdlib/Data/List/Ord.juvix
+4 −4 Stdlib/Data/Maybe.juvix
+28 −28 Stdlib/Data/Nat.juvix
+15 −15 Stdlib/Data/Nat/Ord.juvix
+9 −9 Stdlib/Data/Ord.juvix
+7 −7 Stdlib/Data/Product.juvix
+1 −1 Stdlib/Data/String/Ord.juvix
+6 −6 Stdlib/Function.juvix
+1 −1 Stdlib/System/IO.juvix

0 comments on commit 271dd7c

Please sign in to comment.