From 1a5fa6f8c9474e06ff7938c37f77450bf4528d5a Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 10 Mar 2023 20:07:42 -0500
Subject: =?UTF-8?q?=E2=80=A2ns=20specification?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/spec/system.html | 29 +++++++++++++++++++++++++++++
 spec/system.md        | 13 +++++++++++++
 2 files changed, 42 insertions(+)

diff --git a/docs/spec/system.html b/docs/spec/system.html
index 20cb39e9..3e126a34 100644
--- a/docs/spec/system.html
+++ b/docs/spec/system.html
@@ -41,6 +41,10 @@
 <td><code><span class='Function'>•Type</span></code>, <code><span class='Function'>•Glyph</span></code>, <code><span class='Function'>•Source</span></code>, <code><span class='Function'>•Decompose</span></code></td>
 </tr>
 <tr>
+<td><a href="#namespaces">Namespaces</a></td>
+<td><code><span class='Value'>•ns</span></code></td>
+</tr>
+<tr>
 <td><a href="#time">Time</a></td>
 <td><code><span class='Function'>•UnixTime</span></code>, <code><span class='Function'>•Delay</span></code>, <code><span class='Modifier'>•_timed</span></code>, …</td>
 </tr>
@@ -569,6 +573,31 @@
 </tr>
 </tbody>
 </table>
+<h2 id="namespaces"><a class="header" href="#namespaces">Namespaces</a></h2>
+<p>The system namespace <code><span class='Value'>•ns</span></code> contains functionality for working with namespaces.</p>
+<table>
+<thead>
+<tr>
+<th>Name</th>
+<th>Summary</th>
+</tr>
+</thead>
+<tbody>
+<tr>
+<td><code><span class='Function'>Keys</span></code></td>
+<td>List of normalized field names in <code><span class='Value'>𝕩</span></code></td>
+</tr>
+<tr>
+<td><code><span class='Function'>Has</span></code></td>
+<td><code><span class='Number'>1</span></code> if <code><span class='Value'>𝕨</span></code> contains a field named <code><span class='Value'>𝕩</span></code> and <code><span class='Number'>0</span></code> otherwise</td>
+</tr>
+<tr>
+<td><code><span class='Function'>Get</span></code></td>
+<td>Current value in <code><span class='Value'>𝕨</span></code> of the field named <code><span class='Value'>𝕩</span></code></td>
+</tr>
+</tbody>
+</table>
+<p><code><span class='Function'>Keys</span></code> returns field names as strings, normalized in the sense that all underscores are removed and alphabetic characters are converted to lowercase. The order of the names is unspecified. <code><span class='Function'>Has</span></code> and <code><span class='Function'>Get</span></code> accept names with any spelling. <code><span class='Function'>Get</span></code> causes an error if <code><span class='Value'>𝕩</span></code> isn't the name of a field of <code><span class='Value'>𝕨</span></code>, while <code><span class='Function'>Has</span></code> causes an error only if it isn't a string, returning <code><span class='Number'>0</span></code> for any string that isn't a valid name.</p>
 <h2 id="time"><a class="header" href="#time">Time</a></h2>
 <table>
 <thead>
diff --git a/spec/system.md b/spec/system.md
index fe216f2e..5412f090 100644
--- a/spec/system.md
+++ b/spec/system.md
@@ -16,6 +16,7 @@ All system values described in the BQN specification are optional: an implementa
 | [Input and output](#input-and-output) ([terminal](#terminal-io)) | `•Out`, `•Show`, `•Repr`, `•Fmt`, …, `•term`
 | [Interface](#interface) ([FFI](#foreign-function-interface)) | `•SH`, `•FFI`
 | [Operation properties](#operation-properties) | `•Type`, `•Glyph`, `•Source`, `•Decompose`
+| [Namespaces](#namespaces) | `•ns`
 | [Time](#time) | `•UnixTime`, `•Delay`, `•_timed`, …
 | [Math](#math) | `•math`
 | [Random generation](#random-generation) | `•rand`, `•MakeRand`
@@ -268,6 +269,18 @@ Each function in this section is monadic.
 | 1-mod         |  4   | `𝕗,𝕣`
 | 2-mod         |  5   | `𝕗,𝕣,𝕘`
 
+## Namespaces
+
+The system namespace `•ns` contains functionality for working with namespaces.
+
+| Name   | Summary
+|--------|-------------------------------
+| `Keys` | List of normalized field names in `𝕩`
+| `Has`  | `1` if `𝕨` contains a field named `𝕩` and `0` otherwise
+| `Get`  | Current value in `𝕨` of the field named `𝕩`
+
+`Keys` returns field names as strings, normalized in the sense that all underscores are removed and alphabetic characters are converted to lowercase. The order of the names is unspecified. `Has` and `Get` accept names with any spelling. `Get` causes an error if `𝕩` isn't the name of a field of `𝕨`, while `Has` causes an error only if it isn't a string, returning `0` for any string that isn't a valid name.
+
 ## Time
 
 | Name          | Summary
-- 
cgit v1.2.3