Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Policy: Use of Minirust/DSLs to specify Semantics #54

Closed
chorman0773 opened this issue Apr 19, 2024 · 2 comments
Closed

Policy: Use of Minirust/DSLs to specify Semantics #54

chorman0773 opened this issue Apr 19, 2024 · 2 comments

Comments

@chorman0773
Copy link
Contributor

I'd like for us to have a full discussion about the use of Minirust and other DSLs as a normative part of the specification - how much of the spec should be written in Minirust or another DSL vs. prose, and when it's allowed to be used in place of prose.

The Operational Semantics Team (or members thereof) should be involved in this discussion as applied to the Dynamic Semantics chapter.
@JoelMarcey
Copy link
Contributor

Closing as Duplicate of #55

@chorman0773
Copy link
Contributor Author

Github Moment on the double post 😅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
Rust Specification: Tasks and Priorities
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JoelMarcey @chorman0773