From 25bf556f9434f557171b040fc2945eacb112ba8c Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Tue, 16 Aug 2022 21:21:59 -0400
Subject: Document what programs and errors are

---
 docs/doc/glossary.html | 1 +
 docs/doc/syntax.html   | 1 +
 2 files changed, 2 insertions(+)

(limited to 'docs')

diff --git a/docs/doc/glossary.html b/docs/doc/glossary.html
index daf3ec43..d12b2b06 100644
--- a/docs/doc/glossary.html
+++ b/docs/doc/glossary.html
@@ -106,6 +106,7 @@
 </ul>
 <h2 id="grammar"><a class="header" href="#grammar">Grammar</a></h2>
 <ul>
+<li><a href="syntax.html"><strong>Program</strong></a>: The source code for a single BQN evaluation.</li>
 <li><a href="syntax.html#expressions"><strong>Expression</strong></a>: A piece of code that describes the computation of a value.</li>
 <li><a href="expression.html#nothing"><strong>Nothing</strong></a>: A special value-like entity that comes from <code><span class='Nothing'>·</span></code>, <code><span class='Value'>𝕨</span></code> in a function with no left argument, or a function called on nothing.</li>
 <li><strong>Statement</strong>: An expression, nothing (<code><span class='Nothing'>·</span></code>), or an export (<code><span class='Value'>var</span><span class='Gets'>⇐</span></code>).</li>
diff --git a/docs/doc/syntax.html b/docs/doc/syntax.html
index 23f1a3a2..fd55dafa 100644
--- a/docs/doc/syntax.html
+++ b/docs/doc/syntax.html
@@ -6,6 +6,7 @@
 <div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">doc</a></div>
 <h1 id="syntax-overview"><a class="header" href="#syntax-overview">Syntax overview</a></h1>
 <p>BQN syntax consists of expressions where computation is done, with a little organizing structure around them like assignment, functions, and list notation. Expressions are where the programmer is in control, so the design tries to do as much as possible with them before introducing special syntax.</p>
+<p>A <em>program</em> is a unit of source code that's evaluated, such as a source file, or one line of REPL input (one run of the <code><span class='Value'>bqn</span></code> executable often involves multiple programs). Like a <a href="#blocks">block</a>, it's a sequence of expressions to be evaluated in order. It has a result, which is used it the program was evaluated from BQN with <code><span class='Function'>•BQN</span></code>, <code><span class='Function'>•Import</span></code> or similar. An error might occur when a program is running; this ends execution unless it's <a href="assert.html#catch">caught</a>.</p>
 <h2 id="precedence"><a class="header" href="#precedence">Precedence</a></h2>
 <p>Here's a full table of precedence for BQN's glyphs (broader than &quot;operator precedence&quot;, as an &quot;operator&quot; usually just corresponds to a function). Entries at the bottom make the biggest divisions in the program, while the ones further up are subdivisions.</p>
 <table>
-- 
cgit v1.2.3