Skip to content

Commit

Permalink
Editorial: make set creation more readable (#837)
Browse files Browse the repository at this point in the history
  • Loading branch information
OrKoN authored Dec 20, 2024
1 parent 60b9cc8 commit e08792b
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -1896,13 +1896,13 @@ Issue: This needs to be generalized to work with realms too.
<div algorithm="remote end steps for session.subscribe">
The [=remote end steps=] with |session| and |command parameters| are:

1. Let the |event names| be [=set/create=] a [=/set=] given |command parameters|["<code>events</code>"].
1. Let the |event names| be [=set/create|create a set=] with |command parameters|["<code>events</code>"].

1. Let |subscription navigables| be a [=/set=].

1. Let |top-level traversable context ids| be a [=/set=].

1. Let |input context ids| be [=set/create=] a [=/set=] given |command parameters|[<code>contexts</code>].
1. Let |input context ids| be [=set/create|create a set=] with |command parameters|[<code>contexts</code>].

1. If |input context ids| is not empty:

Expand Down Expand Up @@ -2001,7 +2001,7 @@ The [=remote end steps=] with |session| and |command parameters| are:

1. Let |top-level traversable context ids| be a [=/set=].

1. Let |input context ids| be [=set/create=] a [=/set=] given |command parameters|[<code>contexts</code>].
1. Let |input context ids| be [=set/create|create a set=] with |command parameters|[<code>contexts</code>].

1. If |input context ids| is not empty:

Expand Down Expand Up @@ -2076,7 +2076,7 @@ The [=remote end steps=] with |session| and |command parameters| are:

1. Otherwise:

1. Let |subscriptions| be [=set/create=] a [=/set=] with |command parameters|[<code>subscriptions</code>].
1. Let |subscriptions| be [=set/create|create a set=] with |command parameters|[<code>subscriptions</code>].

1. Let |unknown subscription ids| to [=set/difference=] between |subscriptions| and |session|'s [=known subscription ids=].

Expand Down

0 comments on commit e08792b

Please sign in to comment.