Zayden-Jung/Endorphin-Document
2
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

WIP: 备份语言规范与运行时设计草稿 #1

Draft
codex-bot wants to merge 1 commits from codex/language-spec-draft into main
pull from: codex/language-spec-draft
merge into: Zayden-Jung:main
Conversation 0 Commits 1 Files Changed 31
+3594 -64
codex-bot commented 2026-11-04 16:54:50 +00:00
Collaborator
Copy Link
Copy Source

备份本地语言规范、顶级类型、关键字、生命周期与 REPL 草稿。保留原有设计状态，排除生成的 PDF。Git 空白检查通过，未运行文档脚本或语言示例。

备份本地语言规范、顶级类型、关键字、生命周期与 REPL 草稿。保留原有设计状态，排除生成的 PDF。Git 空白检查通过，未运行文档脚本或语言示例。
codex-bot added 1 commit 2026-11-04 16:54:51 +00:00
备份语言规范、顶级类型与运行时设计草稿 5e185c53e3
This pull request is marked as a work in progress.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin codex/language-spec-draft:codex/language-spec-draft
git checkout codex/language-spec-draft
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
codex-bot hexin-codex-bot Zayden-Jung
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Zayden-Jung/Endorphin-Document#1
Delete Branch "codex/language-spec-draft"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?