Code

Trieste reference#134

Code

Draft

EliasC wants to merge 8 commits intomicrosoft:mainmicrosoft/Trieste:mainfrom EliasC:features/referenceEliasC/Trieste:features/referenceCopy head branch name to clipboard

+163

Commits

Commits on Sep 18, 2024

• Working draft of term rewriting reference

  EliasC

  committed
  90c8ecb

• Minor bug fix

  EliasC

  committed
  4c93b24

• Moved reference sheet to docs folder

  EliasC

  committed
  eab5474

• Update reference.md

  Show description for 0453748
  matteB10

  authored
  0453748

• Merge pull request #2 from matteB10/patch-1

  Show description for e9b89eb
  EliasC

  authored
  e9b89eb

• More effects

  EliasC

  committed
  ff690ea

• Error effect and examples of rewrite rules

  EliasC

  committed
  ba0c526

• Mention that WF specs are optional

  EliasC

  committed
  52beef9