diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 21:41:33 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-30 21:42:35 -0500 |
| commit | c208d37754ae81d9e67c80affa58c5ca8da95ee5 (patch) | |
| tree | 3d8206cbc04a4bf61e81f382e1d57dedccc699a3 /docs/doc/identity.html | |
| parent | eb2325923fcac6970f578b9f970b15a41ebabd1c (diff) | |
Add partial documentation page on tacit programming (fixes #36)
Diffstat (limited to 'docs/doc/identity.html')
| -rw-r--r-- | docs/doc/identity.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doc/identity.html b/docs/doc/identity.html index 3f4f624f..140b79b7 100644 --- a/docs/doc/identity.html +++ b/docs/doc/identity.html @@ -61,7 +61,7 @@ </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> -<p>In a tacit context, <code><span class='Function'>⊣</span></code> is roughly equivalent to <code><span class='Value'>𝕨</span></code> and <code><span class='Function'>⊢</span></code> to <code><span class='Value'>𝕩</span></code>. In some (not too common) cases, it's even possible to translate a block function to tacit code directly by replacing the variables in this way.</p> +<p>In a <a href="tacit.html">tacit</a> context, <code><span class='Function'>⊣</span></code> is roughly equivalent to <code><span class='Value'>𝕨</span></code> and <code><span class='Function'>⊢</span></code> to <code><span class='Value'>𝕩</span></code>. In some (not too common) cases, it's even possible to translate a block function to tacit code directly by replacing the variables in this way.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=MyB78J2VqS3wnZWow7cxK/Cdlal9IDUKMyAo4oqiLeKKo8O3MSviiqIpIDU=">↗️</a><pre> <span class='Number'>3</span> <span class='Brace'>{</span><span class='Value'>𝕩</span><span class='Function'>-</span><span class='Value'>𝕨</span><span class='Function'>÷</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>𝕩</span><span class='Brace'>}</span> <span class='Number'>5</span> 4.5 <span class='Number'>3</span> <span class='Paren'>(</span><span class='Function'>⊢-⊣÷</span><span class='Number'>1</span><span class='Function'>+⊢</span><span class='Paren'>)</span> <span class='Number'>5</span> |