From afa17dfda2fb4fcc74e58236b2bf86f9ba6c50a4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 22 Aug 2020 14:15:28 -0400 Subject: Add favicon --- docs/spec/evaluate.html | 5 ++++- docs/spec/grammar.html | 5 ++++- docs/spec/index.html | 5 ++++- docs/spec/literal.html | 5 ++++- docs/spec/scope.html | 5 ++++- docs/spec/token.html | 5 ++++- docs/spec/types.html | 5 ++++- 7 files changed, 28 insertions(+), 7 deletions(-) (limited to 'docs/spec') diff --git a/docs/spec/evaluate.html b/docs/spec/evaluate.html index 38fecd93..132473e6 100644 --- a/docs/spec/evaluate.html +++ b/docs/spec/evaluate.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN evaluation

This page describes the semantics of the code constructs whose grammar is given in grammar.md. The formation rules there are not named, and here they are identified by either the name of the term or by copying the rule entirely if there are several alternative productions.

diff --git a/docs/spec/grammar.html b/docs/spec/grammar.html index f6bf3810..3042b762 100644 --- a/docs/spec/grammar.html +++ b/docs/spec/grammar.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN grammar

BQN's grammar is given below. Terms are defined in a BNF variant. However, handling special names properly is possible but difficult in BNF, so they are explained in text along with the braced block grammar.

diff --git a/docs/spec/index.html b/docs/spec/index.html index 44308925..46c71938 100644 --- a/docs/spec/index.html +++ b/docs/spec/index.html @@ -1,4 +1,7 @@ - + + + +
BQN

BQN specification

This directory gives a (currently incomplete) specification for BQN. The specification differs from the documentation in that its purpose is only to describe the exact details of BQN's operation in the most quickly accessible way, rather than to explain the core ideas of BQN functionality and how it might be used. Since it is easier to specify than to document, the specification is currently more complete than the documentation; for example, it includes nearly all primitives.

diff --git a/docs/spec/literal.html b/docs/spec/literal.html index 928e64fc..bef2a1ec 100644 --- a/docs/spec/literal.html +++ b/docs/spec/literal.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN literal notation

A literal is a single token that indicates a fixed character, number, or array. While literals indicate values of a data type, primitives indicate values of an operation type: function, 1-modifier, or 2-modifier.

diff --git a/docs/spec/scope.html b/docs/spec/scope.html index 22a05d0e..6e67de02 100644 --- a/docs/spec/scope.html +++ b/docs/spec/scope.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN variable scoping

BQN uses lexical scoping for variables, where scopes correspond roughly to blocks, or pairs of curly braces separated by semicolons. At the top level in a scope, new variables are visible only after they are defined, but in the scopes it contains, all variables defined in that scope are visible. This system is specified more precisely below.

diff --git a/docs/spec/token.html b/docs/spec/token.html index 3fcfbe6d..34ecbcd8 100644 --- a/docs/spec/token.html +++ b/docs/spec/token.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN token formation

This page describes BQN's token formation rules (token formation is also called scanning). Most tokens in BQN are a single character long, but quoted characters and strings, identifiers, and numbers can consist of multiple characters, and comments, spaces, and tabs are discarded during token formation.

diff --git a/docs/spec/types.html b/docs/spec/types.html index d3f71050..3a505fad 100644 --- a/docs/spec/types.html +++ b/docs/spec/types.html @@ -1,4 +1,7 @@ - + + + +
BQN

Specification: BQN types

BQN programs manipulate data of six types:

-- cgit v1.2.3