This commit is contained in:
Tony Garnock-Jones 2022-03-02 16:44:41 +01:00
parent 286c5997b9
commit 39bd40f4db
1 changed files with 1 additions and 1 deletions

View File

@ -289,7 +289,7 @@ the service provider, allowing flexibility that wasn't available before.
#### Asserting interest in assertions of interest
Subscriptions at a dataspace are assertions like any other. This opens up the possibility of
subscribing to *subscriptions*:
reacting to *subscriptions*:
    Observe(⌜Observe(⌜...⌝, _)⌝, *r*)