Code

Merge typechecker negative tests#3076

Code

Merged

lukaszcz merged 2 commits intomainanoma/juvix:mainfrom enable-negative-testsanoma/juvix:enable-negative-testsCopy head branch name to clipboardOct 3, 2024

+102-162

Commits

Commits on Oct 2, 2024

• merge typechecker negative tests

  

  janmasrovira

  authored and

  lukaszcz

  committed
  4d4c4fa

  Copy full SHA for 4d4c4fa

• fix rebase

  

  janmasrovira

  authored and

  lukaszcz

  committed
  cb74b01

  Copy full SHA for cb74b01