Skip to content

doc: initial attempt at semantics#318

Draft
starpit wants to merge 1 commit intoIBM:mainfrom
starpit:semantics
Draft

doc: initial attempt at semantics#318
starpit wants to merge 1 commit intoIBM:mainfrom
starpit:semantics

Conversation

@starpit
Copy link
Copy Markdown
Member

@starpit starpit commented Sep 8, 2025

No description provided.

Signed-off-by: Nick Mitchell <nickm@us.ibm.com>
@starpit starpit changed the title doc: initial attempt at operational semantics doc: initial attempt at semantics Sep 8, 2025
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