aboutsummaryrefslogtreecommitdiff
path: root/docs/help/∘atop.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/help/∘atop.html')
-rw-r--r--docs/help/∘atop.html25
1 files changed, 0 insertions, 25 deletions
diff --git a/docs/help/∘atop.html b/docs/help/∘atop.html
deleted file mode 100644
index 64b7e88e..00000000
--- a/docs/help/∘atop.html
+++ /dev/null
@@ -1,25 +0,0 @@
-<head>
- <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
- <link href="../style.css" rel="stylesheet"/>
- <title>BQN: Ring Operator (`∘`)</title>
-</head>
-<div class="nav">(<a href="https://github.com/mlochbaum/BQN">github</a>) / <a href="../index.html">BQN</a> / <a href="index.html">help</a></div>
-<h1 id="ring-operator-"><a class="header" href="#ring-operator-">Ring Operator (<code><span class='Modifier2'>∘</span></code>)</a></h1>
-<p><code><span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Atop</p>
-<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>).</p>
-<p><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</p>
-<pre> <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>-</span> <span class='Number'>5</span>
-<span class='Number'>5</span>
- <span class='Function'>-</span> <span class='Function'>-</span> <span class='Number'>5</span>
-<span class='Number'>5</span>
-</pre>
-<p><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>∘</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Dyadic Atop</p>
-<p>Apply <code><span class='Function'>𝔾</span></code> to <code><span class='Value'>𝕨</span></code> and <code><span class='Value'>𝕩</span></code>, then apply <code><span class='Function'>𝔽</span></code> (<code><span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Value'>𝕨</span> <span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
-<p><code><span class='Function'>𝔽</span></code> must be monadic, and <code><span class='Function'>𝔾</span></code> must be dyadic.</p>
-<pre> <span class='Number'>1</span> <span class='Function'>-</span><span class='Modifier2'>∘</span><span class='Function'>+</span> <span class='Number'>2</span>
-<span class='Number'>¯3</span>
- <span class='Number'>1</span> <span class='Function'>-</span> <span class='Function'>+</span> <span class='Number'>2</span>
-<span class='Number'>¯1</span>
- <span class='Function'>-</span> <span class='Number'>1</span> <span class='Function'>+</span> <span class='Number'>2</span>
-<span class='Number'>¯3</span>
-</pre>