From 16ea00650607ba5affc3b94fe133e69920954aa5 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 1 Jun 2022 17:20:29 -0400 Subject: Use ; for block valences in reference.bqn where reasonable --- docs/spec/primitive.html | 3 +-- spec/primitive.md | 4 +--- spec/reference.bqn | 8 ++++---- 3 files changed, 6 insertions(+), 9 deletions(-) diff --git a/docs/spec/primitive.html b/docs/spec/primitive.html index 95b13735..1f9990a2 100644 --- a/docs/spec/primitive.html +++ b/docs/spec/primitive.html @@ -79,7 +79,7 @@ -

The somewhat complicated definition of Valences could be replaced with {𝔽𝕩;𝕨𝔾𝕩} using headers. However, reference.bqn uses a simple subset of BQN's syntax that doesn't include headers. Instead, the definition relies on the fact that 𝕨 works like · if no left argument is given: (1˙𝕨)-0 is 1-0 or 1 if 𝕨 is present and (1˙·)-0 otherwise: this reduces to ·-0 or 0.

Array properties

The reference implementations extend Shape (≢) to atoms as well as arrays, in addition to implementing other properties. In all cases, an atom behaves as if it has shape ⟨⟩. The functions in this section never cause an error.