diff options
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/README.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/spec/README.md b/spec/README.md index 1951d7ff..bc826a76 100644 --- a/spec/README.md +++ b/spec/README.md @@ -2,15 +2,17 @@ # BQN specification -This directory gives a (currently incomplete) specification for BQN. The specification differs from the [documentation](../doc/README.md) 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. +This directory gives a specification for BQN. The specification differs from the [documentation](../doc/README.md) 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. -The following aspects define BQN and are or will be specified: +All normative sections of the core BQN specification (that is, excluding system-provided values) are complete except for the behavior of fill elements. The non-normative commentary on primitive definitions is also not yet complete. + +The BQN specification consists of the following documents: - [Types](types.md) - [Token formation](token.md) - [Literals](literal.md) - [Grammar](grammar.md) - [Variable scoping](scope.md) - [Evaluation semantics](evaluate.md) -- [Primitives](primitive.md) ([reference implementations](reference.bqn)) -- [Inferred properties](inferred.md) (type, Undo, and Under) +- [Primitives](primitive.md): [reference implementations](reference.bqn) +- [Inferred properties](inferred.md) (identities, fills, Undo, and Under) - [System-provided values](system.md) (`•`) |