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

Add grammar construction to express merge in the language #46

Open
mosser opened this issue Nov 19, 2023 · 0 comments
Open

Add grammar construction to express merge in the language #46

mosser opened this issue Nov 19, 2023 · 0 comments
Assignees
@mosser
Labels
feature New feature or request LANGUAGE
Milestone
2312 - Fall 23

Comments

@mosser
Copy link
Member

mosser commented Nov 19, 2023

We should be able to express a diagram as the merge of others.

justification X =  A + B + C
@mosser mosser added feature New feature or request LANGUAGE labels Nov 19, 2023
@mosser mosser added this to the 2312 - Fall 23 milestone Nov 19, 2023
@mosser mosser self-assigned this Nov 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mosser mosser

Labels
feature New feature or request LANGUAGE
Projects
None yet
Milestone
2312 - Fall 23
Development

No branches or pull requests
1 participant
@mosser