Skip to content

Preserve the language design and add verified v1 guides - #1

Merged
WilliamRagstad merged 2 commits into
mainfrom
codex/v1-tutorial
Oct 25, 2026
Merged

WilliamRagstad merged 2 commits into
mainfrom
codex/v1-tutorial

Conversation

@WilliamRagstad

@WilliamRagstad WilliamRagstad commented Oct 25, 2026 •

Copy link
Copy Markdown
Member

Keep the complete intended language specification at /documentation, including classes, enums, patterns, collection methods and intended range behavior. Add short implementation-status notes linking to a separate executable v1 reference at /documentation/v1, so readers can distinguish the language design from what the handwritten interpreter currently supports.

Add the v1 implementation walkthrough covering scoping, loop/return unwinding and diagnostics. Update navigation and the Python requirement. CI executes the nine v1 code fences in the reference/tutorial against interpreter main; the design specification's original examples remain intact and describe intended behavior.

Validation: all 56 original design code fences and all original section headings are preserved. The documentation test passes all 16 v1 fences across both repositories. git diff --check passes. Jekyll rendering was not run because Ruby/Bundler is unavailable in the workspace.

The v1 interpreter changes have merged. README and detailed TODO restoration in the interpreter repository: mini-lang/mini-lang#10.

@WilliamRagstad WilliamRagstad changed the title Align the reference and tutorial with the executable v1 subset Preserve the language design and add verified v1 guides Oct 25, 2026
@WilliamRagstad
WilliamRagstad merged commit 3163df6 into main Oct 25, 2026
2 checks passed
@WilliamRagstad
WilliamRagstad deleted the codex/v1-tutorial branch October 25, 2026 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant