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 --- spec/primitive.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'spec/primitive.md') diff --git a/spec/primitive.md b/spec/primitive.md index 8f40fa85..ef3055c4 100644 --- a/spec/primitive.md +++ b/spec/primitive.md @@ -89,7 +89,7 @@ There's little to say about BQN's true combinators, since each is simply a patte - **Choose** (`◶`) is later redefined to use the complete `⊑` rather than the simple version assumed (using this primitive means it's not a true combinator). - **Constant** (`˙`) -- **Valences** (`⊘`) uses a trick with ambivalent `-` to find out whether there's a left argument, described below. +- **Valences** (`⊘`) - **Right** (`⊢`) - **Left** (`⊣`) - **Self**/**Swap** (`˜`) @@ -98,8 +98,6 @@ There's little to say about BQN's true combinators, since each is simply a patte - **Before**/**Bind** (`⊸`) - **After**/**Bind** (`⟜`) -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. -- cgit v1.2.3