Code

JuvixTree validation#2616

Code

Merged

janmasrovira merged 4 commits intomainanoma/juvix:mainfrom tree-validationanoma/juvix:tree-validationCopy head branch name to clipboardFeb 6, 2024

+412-112

Commits

Commits on Feb 6, 2024

• generalize 'unifyTypes'

  

  lukaszcz

  authored and

  paulcadman

  committed
  1665cd6

  Copy full SHA for 1665cd6

• validation

  

  lukaszcz

  authored and

  paulcadman

  committed
  c219941

  Copy full SHA for c219941

• tests & bugfixes

  

  lukaszcz

  authored and

  paulcadman

  committed
  09fee21

  Copy full SHA for 09fee21

• use void

  

  lukaszcz

  authored and

  paulcadman

  committed
  0784aab

  Copy full SHA for 0784aab