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.

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

Specifying terms influenced by different bindings #263

Merged
merged 4 commits into from
Mar 22, 2023
Merged

Conversation

egekorkan
Copy link
Contributor

@egekorkan egekorkan commented Mar 15, 2023

fixes #218


Preview | Diff

@egekorkan
Copy link
Contributor Author

egekorkan commented Mar 15, 2023

Call of 15.03:

@egekorkan
Copy link
Contributor Author

@danielpeintner you had mentioned that "Assignment" was confusing. I have changed it now to Specification Requirement and added a sentence that explains these.

@relu91
Copy link
Member

relu91 commented Mar 22, 2023

@egekorkan is this ready to review or do you need to close the points defined in #263 (comment) ?

@egekorkan
Copy link
Contributor Author

@egekorkan is this ready to review or do you need to close the points defined in #263 (comment) ?

It is ready to review. How to pick the correct binding via the URI scheme needs another PR

@egekorkan
Copy link
Contributor Author

Call of 22.03, no objections, merging.

@egekorkan egekorkan merged commit 4ce61f5 into main Mar 22, 2023
@egekorkan egekorkan deleted the ege-terms branch March 22, 2023 15:16
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.

Specifying what TD terms are specified by different binding templates
2 participants