Executable tutorial examples

Workflow runs for Executable tutorial examples

• Merge pull request #1 from mini-lang/codex/v1-tutorial

  completed successfully:
  Executable tutorial examples#5:Commit3163df6pushedbyWilliamRagstad
  main

  Oct 25, 202612s
  More actions for workflow run 5

• Preserve the language design and add verified v1 guides

  completed successfully:
  Executable tutorial examples#4:Pull request#1synchronizebyWilliamRagstad
  codex/v1-tutorial

  Oct 25, 202611s
  More actions for workflow run 4

• Preserve the intended language specification alongside the v1 reference

  completed successfully:
  Executable tutorial examples#3:Commit956ac65pushedbyWilliamRagstad
  codex/v1-tutorial

  Oct 25, 202612s
  More actions for workflow run 3

• Preserve the language design and add verified v1 guides

  completed successfully:
  Executable tutorial examples#2:Pull request#1openedbyWilliamRagstad
  codex/v1-tutorial

  Oct 25, 202612s
  More actions for workflow run 2

• Align the reference and control-flow tutorial with verified education…

  completed successfully:
  Executable tutorial examples#1:Commit905265fpushedbyWilliamRagstad
  codex/v1-tutorial

  Oct 25, 202612s
  More actions for workflow run 1