From e9001bece79b9d736a6bd52184b7732b4c46a1d8 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 12 Oct 2022 13:25:52 +0200 Subject: [PATCH] Another --- src/operation/scripting.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/operation/scripting.md b/src/operation/scripting.md index 81b7d17..c06c8fa 100644 --- a/src/operation/scripting.md +++ b/src/operation/scripting.md @@ -316,9 +316,9 @@ Additionally, record template labels (just after a "`<`") must be "literal-enoug sub-part of the label *TemplateExpr* refers to a variable's value, the variable must have been bound in the environment surrounding the *AttenuationExpr* that the *TemplateExpr* is part of, and must not be any of the capture variables from the *PatternExpr* corresponding to the -template. This is a constraint stemming from the definition of the syntax used for expressing -capability attenuation in the underlying Syndicated Actor Model. (TODO: link to sturdy.prs -documentation) +template. This is a constraint stemming from the definition of the [syntax used for expressing +capability attenuation](../protocol.md#attenuation-of-authority) in the underlying Syndicated +Actor Model. ## Examples