Code

Refactorings and function removals#160

Code

Merged

lukaszcz merged 6 commits intomainanoma/juvix-stdlib:mainfrom refactorsanoma/juvix-stdlib:refactorsCopy head branch name to clipboardJan 14, 2025

+507-538

Commits

Commits on Jan 9, 2025

• fix flatten

  lukaszcz

  committed
  d38add0

  Copy full SHA for d38add0

• remove snoc

  lukaszcz

  committed
  b887f7e

  Copy full SHA for b887f7e

• remove phead

  lukaszcz

  committed
  4c98756

  Copy full SHA for 4c98756

• Rename AVLTree to Set

  lukaszcz

  committed
  dd78552

  Copy full SHA for dd78552

• update juvix-test

  lukaszcz

  committed
  bd32dd8

  Copy full SHA for bd32dd8

Commits on Jan 14, 2025

• update juvix-test

  lukaszcz

  committed
  302d2c3

  Copy full SHA for 302d2c3