From e14bfac44de8a5c2e8af4d95d76b6fa29cc38016 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 7 Jan 2021 21:19:16 -0500 Subject: Update specification README --- spec/README.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'spec') 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) (`•`) -- cgit v1.2.3