Code

Multiway if syntax#2770

Code

Merged

lukaszcz merged 7 commits intomainanoma/juvix:mainfrom if-syntaxanoma/juvix:if-syntaxCopy head branch name to clipboardMay 8, 2024

+269-5

Commits

Commits on May 7, 2024

• multi-way if in concrete language

  lukaszcz

  committed
  a75bf25

  Copy full SHA for a75bf25

• concrete to internal translation

  lukaszcz

  committed
  7d77396

  Copy full SHA for 7d77396

Commits on May 8, 2024

• scoping

  lukaszcz

  committed
  a4938fe

  Copy full SHA for a4938fe

• parsing

  lukaszcz

  committed
  d92cef0

  Copy full SHA for d92cef0

• fix scoping

  lukaszcz

  committed
  a149508

  Copy full SHA for a149508

• fix pretty printing

  lukaszcz

  committed
  36b42dd

  Copy full SHA for 36b42dd

• test

  lukaszcz

  committed
  9b3f210

  Copy full SHA for 9b3f210