Code

Add some useful functions#55

Code

Merged

paulcadman merged 2 commits intomainanoma/juvix-stdlib:mainfrom add-functionsanoma/juvix-stdlib:add-functionsCopy head branch name to clipboardMay 3, 2023

+33-9

Commits

Commits on May 2, 2023

• add some useful functions

  janmasrovira

  committed
  219fc66

Commits on May 3, 2023

• Use compatible quickcheck version

  paulcadman

  committed
  2fe74ef