From ba4658edcf3247e18aacc75eda30a572ed403af2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 2 Dec 2020 14:59:40 -0500 Subject: Use the result generation instead of writing ERROR in code blocks --- docs/doc/block.html | 4 ++-- docs/doc/join.html | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'docs') diff --git a/docs/doc/block.html b/docs/doc/block.html index 10896e93..1fcd1dd6 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -195,8 +195,8 @@ ⟨ 2 4 ⟩

If no header is compatible, the call results in an error.

-
    3 CaseAdd 3
-ERROR
+↗️
    3 CaseAdd 3
+ERROR
 

 
Case headers

 
A special rule allows for convenient case-matching syntax for one-argument functions. In any function header with one argument, the function name can be omitted as long as the argument is not a plain identifier—it must be 𝕩 or a compound value like a list to distinguish it from an immediate block label.

diff --git a/docs/doc/join.html b/docs/doc/join.html
index 55d58818..c324a706 100644
--- a/docs/doc/join.html
+++ b/docs/doc/join.html
@@ -15,10 +15,10 @@
 "time to join some words"

Join requires each element of its argument to be an array, and their ranks to match exactly. No rank extension is performed.

-
    ∾"abc"‿'d'‿"ef"  # Includes an atom
-RANK ERROR
+↗️
    ∾"abc"‿'d'‿"ef"  # Includes an atom
+ERROR
     ∾"abc"‿(<'d')‿"ef"  # Includes a unit
-RANK ERROR
+ERROR
 

 
However, Join has higher-dimensional uses as well. Given a rank-m array of rank-n arrays (requiring m≤n), it will merge arrays along their first m axes. For example, if the argument is a matrix of matrices representing a block matrix, Join will give the corresponding unblocked matrix as its result.

 ↗️
    ⊢ m ← (3‿1∾⌜4‿2‿5) ⥊¨ 2‿3⥊↕6
-- 
cgit v1.2.3