From a717221a7dd2fb88ff9d5d07e221a83dc558b47d Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 23 Jul 2021 22:49:20 -0400 Subject: Update list notation links --- doc/arrayrepr.md | 2 ++ doc/context.md | 2 +- doc/control.md | 2 +- doc/fromDyalog.md | 2 +- doc/fromJ.md | 2 +- doc/glossary.md | 2 +- doc/syntax.md | 4 +++- 7 files changed, 10 insertions(+), 6 deletions(-) (limited to 'doc') diff --git a/doc/arrayrepr.md b/doc/arrayrepr.md index b8264704..74e8426e 100644 --- a/doc/arrayrepr.md +++ b/doc/arrayrepr.md @@ -86,6 +86,8 @@ This case also covers empty lists, which are shown as `⟨⟩`. This includes an ## List literals +*The tutorial section [here](../tutorial/list.md#list-notation) also covers this topic.* + There are three kinds literal notation for lists: strings, list notation, and stranding. Strings indicate character lists (with space for the fill) and the other two can combine any sequence of elements. ### Strings diff --git a/doc/context.md b/doc/context.md index 516a5f18..15a32b2b 100644 --- a/doc/context.md +++ b/doc/context.md @@ -48,7 +48,7 @@ One rule for typing is also best considered to be a pre-parsing rule like the sp ## BQN's grammar -A formal treatment is included in [the spec](../spec/grammar.md). BQN's grammar—the ways syntactic roles interact—follows the original APL model (plus trains) closely, with allowances for new features like list notation. In order to keep BQN's syntax context-free, the syntactic role of any expression must be known from its contents, just like tokens. +A formal treatment is included in [the spec](../spec/grammar.md). BQN's grammar—the ways syntactic roles interact—follows the original APL model (plus trains) closely, with allowances for new features like [list notation](arrayrepr.md#list-literals). In order to keep BQN's syntax context-free, the syntactic role of any expression must be known from its contents, just like tokens. Here is a table of the APL-derived modifier and function application rules: diff --git a/doc/control.md b/doc/control.md index d3b47d29..80e3159b 100644 --- a/doc/control.md +++ b/doc/control.md @@ -228,7 +228,7 @@ Very well… a for loop is just a while loop with some extra pre- and post-actio The initialization can be a simple expression as shown; in fact it's a little silly to make initialization one of the arguments to `For` at all.Unlike in C, it's impossible to declare a variable that's local to the whole `For` loop but not its surroundings. Hopefully this is obvious from the structure of the code! Only curly braces can create a new scope, so to localize some variables in the `For` loop, just surround it in an extra set of curly braces. -The `While` loop alone allows syntax similar to the `For` loop. Perform any initialization outside of the loop, and compose the post-action with the main body using the reverse composition `{𝔾∘𝔽}`. Because the composition binds less tightly than stranding, the bracketed list notation has to be used here. +The `While` loop alone allows syntax similar to the `For` loop. Perform any initialization outside of the loop, and compose the post-action with the main body using the reverse composition `{𝔾∘𝔽}`. Because the composition binds less tightly than stranding, the bracketed [list notation](arrayrepr.md#brackets) has to be used here. c←27 ⋄ n←0 While ⟨{𝕤⋄1