Code

Partial trait#85

Code

Merged

paulcadman merged 5 commits intomainanoma/juvix-stdlib:mainfrom partial-traitanoma/juvix-stdlib:partial-traitCopy head branch name to clipboardOct 4, 2023

+62-65

Commits

Commits on Sep 28, 2023

• partial trait

  lukaszcz

  committed
  17cdfea

Commits on Sep 29, 2023

• head function

  lukaszcz

  committed
  86f9e82

Commits on Oct 4, 2023

• Updates for juvix-quickcheck v0.8.0

  paulcadman

  committed
  d9b58fd

• Add a lock file

  paulcadman

  committed
  c9ab8b7

• Format stdlib

  paulcadman

  committed
  804c024