aboutsummaryrefslogtreecommitdiff
path: root/docs/spec/README.html
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-17 21:25:22 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-17 21:25:22 -0400
commit15908ba604c2a27b84a30d7ce91ceb7a8c1064aa (patch)
treed7a456e917af68385310043041fdb303259476d7 /docs/spec/README.html
parent7d3af92a20237eed83b943fa74aa2a086e657658 (diff)
Mirror repository tree in docs/ and add html spec documents
Diffstat (limited to 'docs/spec/README.html')
-rw-r--r--docs/spec/README.html14
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/spec/README.html b/docs/spec/README.html
new file mode 100644
index 00000000..6a4ba53f
--- /dev/null
+++ b/docs/spec/README.html
@@ -0,0 +1,14 @@
+<head><link href="../style.css" rel="stylesheet"/></head>
+<h1 id="bqn-specification">BQN specification</h1>
+<p>This directory gives a (currently incomplete) specification for BQN. The specification differs from the documentation in <code><span class='Value'>doc</span><span class='Function'>/</span></code> 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>
+<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>Scoping</li>
+<li><a href="evaluate.html">Evaluation semantics</a></li>
+<li>Primitives (<a href="reference.bqn">reference implementations</a>)</li>
+</ul>
+