Code

Fix named application bug#3075

Code

Merged

paulcadman merged 8 commits intomainanoma/juvix:mainfrom 3074-crash-related-to-missing-name-in-name-signatureanoma/juvix:3074-crash-related-to-missing-name-in-name-signatureCopy head branch name to clipboardOct 3, 2024

+203-114

Commits

Commits on Oct 1, 2024

• merge typechecker negative tests

  janmasrovira

  committed
  e077730

• fix rebase

  janmasrovira

  committed
  470f282

• wip

  janmasrovira

  committed
  3341c5a

• reverse

  janmasrovira

  committed
  f0e636c

• remove traces

  janmasrovira

  committed
  330b2d7

• clean

  janmasrovira

  committed
  317af4a

• add test

  janmasrovira

  committed
  165f748

Commits on Oct 3, 2024

• Merge branch 'main' into 3074-crash-related-to-missing-name-in-name-signature

  lukaszcz

  authored
  46cf43d