aboutsummaryrefslogtreecommitdiff
path: root/docs/spec/index.html
blob: 71d7c6f676679bb59b637d2b8c4785b527e97030 (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>The core of BQN, which excludes system-provided values, is now completely specified, although the spec will continue to be edited further to improve clarity and cover edge cases that were missed initially.</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>