Skip to content

Commit

Permalink
update stdlib reference
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukaszcz
lukaszcz committed May 14, 2024
1 parent 231ee87 commit 9b33305
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion juvix-stdlib
Submodule juvix-stdlib updated 6 files
+32 −33 Stdlib/Cairo/Ec.juvix
+4 −1 Stdlib/Data/Int/Ord.juvix
+2 −3 Stdlib/Data/List/Base.juvix
+4 −1 Stdlib/Data/Nat/Ord.juvix
+1 −1 test/Makefile
+4 −4 test/juvix.lock.yaml

0 comments on commit 9b33305

Please sign in to comment.