aboutsummaryrefslogtreecommitdiff
path: root/docs/doc/identity.html
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-08-31 20:24:47 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-08-31 20:24:47 -0400
commit10c7a9a7009e3738312fcf24d572a4f31b26f599 (patch)
treeb2702a03d8fb55255cd6119929d3f1b953d627d3 /docs/doc/identity.html
parent500615cf09aaa009b7f4eac34a3e53982ad7c792 (diff)
Recompile selected files
Diffstat (limited to 'docs/doc/identity.html')
-rw-r--r--docs/doc/identity.html12
1 files changed, 6 insertions, 6 deletions
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 @@
<h2 id="as-a-variable"><a class="header" href="#as-a-variable">As a variable</a></h2>
<p>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.</p>
<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=4oqi4oC/4o2J4oC/LSB78J2VjvCdlal9wqg8IDDigL/CrzHiiY0x4oC/MA==">↗️</a><pre> <span class='Function'>⊢</span><span class='Ligature'>‿</span><span class='Function'>⍉</span><span class='Ligature'>‿</span><span class='Function'>-</span> <span class='Brace'>{</span><span class='Function'>𝕎</span><span class='Value'>𝕩</span><span class='Brace'>}</span><span class='Modifier'>¨</span><span class='Function'>&lt;</span> <span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>¯1</span><span class='Function'>≍</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>0</span>
-┌─
-· ┌─ ┌─ ┌─
- ╵ 0 ¯1 ╵ 0 1 ╵ ¯0 1
- 1 0 ¯1 0 ¯1 ¯0
- ┘ ┘ ┘
- ┘
+┌─
+· ┌─ ┌─ ┌─
+ ╵ 0 ¯1 ╵ 0 1 ╵ 0 1
+ 1 0 ¯1 0 ¯1 0
+ ┘ ┘ ┘
+ ┘
</pre>
<p>Here <code><span class='Function'>⊢</span></code> ends up being used as <code><span class='Function'>𝕎</span></code>. 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 <code><span class='Function'>⊢</span></code>. Or it might happen that you write a Choose (<code><span class='Modifier2'>◶</span></code>) expression where one of the cases should do nothing <code><span class='Function'>⊢</span></code>, or return the left argument <code><span class='Function'>⊣</span></code>.</p>
<h2 id="in-tacit-functions"><a class="header" href="#in-tacit-functions">In tacit functions</a></h2>