Code

Update traits#80

Code

Merged

paulcadman merged 4 commits intomainanoma/juvix-stdlib:mainfrom traitsanoma/juvix-stdlib:traitsCopy head branch name to clipboardSep 13, 2023

+222-269

Commits

Commits on Sep 8, 2023

• Update traits

  lukaszcz

  committed
  8d3941a

  Copy full SHA for 8d3941a

Commits on Sep 13, 2023

• Update quickcheck dependency and fix tests

  paulcadman

  committed
  3092c2f

  Copy full SHA for 3092c2f

• Format test code

  paulcadman

  committed
  f5c3207

  Copy full SHA for f5c3207

• Format stdlib

  paulcadman

  committed
  16c1ebd

  Copy full SHA for 16c1ebd