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

Editorial: adding ids to individual algorithms of equality semantics #1800

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Editorial: adding ids to individual algorithms of equality semantics #1800

wants to merge 1 commit into from

Conversation

brabalan
Copy link
Contributor

@brabalan brabalan commented Dec 3, 2019

This PR adds ids to the different emu-alg of the equality semantics. This does not change the way the specification is rendered.

I have two questions about this PR:

  • Is it a good approach to have links to algorithms when there are several in a section?
  • What should be the naming convention for these links?
@ljharb ljharb added editor call to be discussed in the next editor call editorial change labels Dec 3, 2019
@michaelficarra
Copy link
Member

We spoke about this in the editor call. We'd prefer we just add support to ecmarkup for this so we don't continue adding one-off IDs and so we maintain a consistent naming convention.
@michaelficarra michaelficarra removed the editor call to be discussed in the next editor call label Feb 12, 2020
@bakkot bakkot mentioned this pull request Feb 12, 2020
Open
@brabalan brabalan mentioned this pull request Jun 16, 2020
Merged
@ljharb ljharb force-pushed the master branch 3 times, most recently from 3d0c24c to 7a79833 Compare June 29, 2021 02:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial change
3 participants
@brabalan @michaelficarra @ljharb