Code

Update pragmas#122

Code

Merged

paulcadman merged 8 commits intomainanoma/juvix-stdlib:mainfrom spec-pragmasanoma/juvix-stdlib:spec-pragmasCopy head branch name to clipboardAug 14, 2024

+94-34

Commits

Commits on Aug 13, 2024

• isabelle names

  lukaszcz

  committed
  30e42ac

• pragmas

  lukaszcz

  committed
  6b9adca

• wip

  lukaszcz

  committed
  3694e09

• specialization pragmas

  lukaszcz

  committed
  68f5bce

• Range

  lukaszcz

  committed
  89cc75c

• fix ranges

  lukaszcz

  committed
  c94251f

• pragmas

  lukaszcz

  committed
  a2d3206

Commits on Aug 14, 2024

• Fix formatting of Range

  paulcadman

  committed
  34f5716