Code

Update list functions to use traits#82

Code

Merged

paulcadman merged 9 commits intomainanoma/juvix-stdlib:mainfrom stdlib-instancesanoma/juvix-stdlib:stdlib-instancesCopy head branch name to clipboardSep 25, 2023

+75-86

Commits

Commits on Sep 22, 2023

• use traits in list functions

  lukaszcz

  committed
  29edc08

• fix merge

  lukaszcz

  committed
  c96a246

• update test

  lukaszcz

  committed
  a2f7bdd

• Update test/juvix.yaml

  Show description for ad27db5
  

  lukaszcz

  and

  paulcadman

  authored
  ad27db5

• fix

  lukaszcz

  committed
  5ba7698

• fix test

  lukaszcz

  committed
  93342aa

• fix formatting

  lukaszcz

  committed
  749ea1f

• fix formatting

  lukaszcz

  committed
  21864b0

Commits on Sep 25, 2023

• Use tag ref for test/quickcheck dependency

  paulcadman

  committed
  fcdb5c6