Code

Isabelle pragmas#105

Code

Merged

paulcadman merged 8 commits intomainanoma/juvix-stdlib:mainfrom isabelle-pragmasanoma/juvix-stdlib:isabelle-pragmasCopy head branch name to clipboardJul 19, 2024

+18-9

Commits

Commits on Jul 10, 2024

• add isabelle-operator pragmas

  lukaszcz

  committed
  903c331

• more pragma fields

  lukaszcz

  committed
  6f48f1d

• more isabelle operators

  lukaszcz

  committed
  0b24d16

• builtin pair

  lukaszcz

  committed
  5f0e487

Commits on Jul 11, 2024

• update precedences

  lukaszcz

  committed
  b845bb0

• isabelle-function pragmas

  lukaszcz

  committed
  ff047e9

Commits on Jul 12, 2024

• isabelle: negation

  lukaszcz

  committed
  da6e6c7

Commits on Jul 15, 2024

• Merge branch 'main' into isabelle-pragmas

  lukaszcz

  authored
  61bc077