diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-07 21:19:16 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-07 21:19:16 -0500 |
| commit | e14bfac44de8a5c2e8af4d95d76b6fa29cc38016 (patch) | |
| tree | 9575aa21c1226c5729afb9317ca30d3f211b1bae /docs/spec/index.html | |
| parent | 6ad2532cd6e2daec265116d533c04c7b9e338fa4 (diff) | |
Update specification README
Diffstat (limited to 'docs/spec/index.html')
| -rw-r--r-- | docs/spec/index.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/spec/index.html b/docs/spec/index.html index 42cd8f3b..e75da3da 100644 --- a/docs/spec/index.html +++ b/docs/spec/index.html @@ -5,8 +5,9 @@ </head> <div class="nav"><a href="https://github.com/mlochbaum/BQN">BQN</a> / <a href="../index.html">main</a></div> <h1 id="bqn-specification">BQN specification</h1> -<p>This directory gives a (currently incomplete) specification for BQN. The specification differs from the <a href="../doc/index.html">documentation</a> 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.</p> -<p>The following aspects define BQN and are or will be specified:</p> +<p>This directory gives a specification for BQN. The specification differs from the <a href="../doc/index.html">documentation</a> 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.</p> +<p>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.</p> +<p>The BQN specification consists of the following documents:</p> <ul> <li><a href="types.html">Types</a></li> <li><a href="token.html">Token formation</a></li> @@ -14,7 +15,7 @@ <li><a href="grammar.html">Grammar</a></li> <li><a href="scope.html">Variable scoping</a></li> <li><a href="evaluate.html">Evaluation semantics</a></li> -<li><a href="primitive.html">Primitives</a> (<a href="https://github.com/mlochbaum/BQN/blob/master/spec/reference.bqn">reference implementations</a>)</li> -<li><a href="inferred.html">Inferred properties</a> (type, Undo, and Under)</li> +<li><a href="primitive.html">Primitives</a>: <a href="https://github.com/mlochbaum/BQN/blob/master/spec/reference.bqn">reference implementations</a></li> +<li><a href="inferred.html">Inferred properties</a> (identities, fills, Undo, and Under)</li> <li><a href="system.html">System-provided values</a> (<code><span class='Value'>•</span></code>)</li> </ul> |