From 10c7a9a7009e3738312fcf24d572a4f31b26f599 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 31 Aug 2021 20:24:47 -0400 Subject: Recompile selected files --- docs/doc/identity.html | 12 ++++++------ docs/doc/reverse.html | 2 +- 2 files changed, 7 insertions(+), 7 deletions(-) (limited to 'docs') diff --git a/docs/doc/identity.html b/docs/doc/identity.html index 5b710809..3f4f624f 100644 --- a/docs/doc/identity.html +++ b/docs/doc/identity.html @@ -52,12 +52,12 @@

As a variable

Suppose you want a list of a matrix, its transpose, and its negation. One way to do this is to put together a list of functions for each of these values: the first one is an identity.

↗️
    ⊢‿⍉‿- {𝕎𝕩}¨< 0‿¯1≍1‿0
-┌─                             
-· ┌─       ┌─       ┌─         
-  ╵ 0 ¯1   ╵  0 1   ╵ ¯0  1    
-    1  0     ¯1 0     ¯1 ¯0    
-         ┘        ┘         ┘  
-                              ┘
+┌─                            
+· ┌─       ┌─       ┌─        
+  ╵ 0 ¯1   ╵  0 1   ╵  0 1    
+    1  0     ¯1 0     ¯1 0    
+         ┘        ┘        ┘  
+                             ┘

Here ⊢ ends up being used as 𝕎. A similar case might be a function or program with a caller-specified processing step. For example, a function to write some kind of file, with a parameter function to encrypt data before writing. To use no encryption, you'd pass a parameter ⊢. Or it might happen that you write a Choose (◶) expression where one of the cases should do nothing ⊢, or return the left argument ⊣.

In tacit functions

diff --git a/docs/doc/reverse.html b/docs/doc/reverse.html index d1a9ccec..6c306214 100644 --- a/docs/doc/reverse.html +++ b/docs/doc/reverse.html @@ -20,7 +20,7 @@ ┘ ⌽ 'c' -'c' +ERROR

You can't reverse an atom or rank-0 array because it has no axes to reverse along, or it could be said no ordering to reverse.

To reverse along an axis other than the first, use Cells (˘) or Rank (⎉).

-- cgit v1.2.3