Code

Improvements to playground#15

Code

Merged

josephschorr merged 4 commits intomainauthzed/playground:mainfrom improvementsauthzed/playground:improvementsCopy head branch name to clipboardAug 7, 2024

+1,377-54

Commits

Commits on Jul 31, 2024

• Add missing key on examples

  josephschorr

  committed
  bbf09fc

  Copy full SHA for bbf09fc

• Add support for named arrows in parser and syntax highlighting

  josephschorr

  committed
  da11047

  Copy full SHA for da11047

• Update README with instructions for development locally

  josephschorr

  committed
  2a03b49

  Copy full SHA for 2a03b49

• Add support for warnings and update SpiceDB and zed WASM bundles

  josephschorr

  committed
  c889410

  Copy full SHA for c889410