Code

Fix JuvixTree unification#3087

Code

Merged

lukaszcz merged 4 commits intomainanoma/juvix:mainfrom juvix-tree-crashanoma/juvix:juvix-tree-crashCopy head branch name to clipboardOct 9, 2024

+36-25

Commits

Commits on Oct 8, 2024

• merge containers into stdlib

  lukaszcz

  committed
  3da429d

  Copy full SHA for 3da429d

• fix JuvixTree type unification

  lukaszcz

  committed
  331219d

  Copy full SHA for 331219d

• Revert "merge containers into stdlib"

  Show description for 827c4ed
  lukaszcz

  committed
  827c4ed

  Copy full SHA for 827c4ed

Commits on Oct 9, 2024

• add test

  lukaszcz

  committed
  97a114f

  Copy full SHA for 97a114f