aboutsummaryrefslogtreecommitdiff
path: root/docs/spec/index.html
blob: e75da3da73154a21759997dd4644eeef7c94490d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
<head>
  <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
  <link href="../style.css" rel="stylesheet"/>
  <title>BQN specification</title>
</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 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>
<li><a href="literal.html">Literals</a></li>
<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> (identities, fills, Undo, and Under)</li>
<li><a href="system.html">System-provided values</a> (<code><span class='Value'></span></code>)</li>
</ul>