1 files changed, 28 insertions, 0 deletions
diff --git a/docs/help/over.html b/docs/help/over.html
new file mode 100644
index 00000000..a7629b90
--- /dev/null
+++ b/docs/help/over.html
@@ -0,0 +1,28 @@
+<head>
+  <link href="../favicon.ico" rel="shortcut icon" type="image/x-icon"/>
+  <link href="../style.css" rel="stylesheet"/>
+  <title>BQN: Circle (`○`)</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="circle-"><a class="header" href="#circle-">Circle (<code><span class='Modifier2'>○</span></code>)</a></h1>
+<h2 id="--atop"><a class="header" href="#--atop"><code><span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Atop</a></h2>
+<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>
+<h2 id="-and--must-be-monadic"><a class="header" href="#-and--must-be-monadic"><code><span class='Function'>𝔽</span></code> and <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgLeKXiy0gNQoKICAgLSAtIDU=">↗️</a><pre>       <span class='Function'>-</span><span class='Modifier2'>○</span><span class='Function'>-</span> <span class='Number'>5</span>
+5
+
+       <span class='Function'>-</span> <span class='Function'>-</span> <span class='Number'>5</span>
+5
+</pre>
+<h2 id="---over"><a class="header" href="#---over"><code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span></code>: Over</a></h2>
+<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> to them (<code><span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕨</span><span class='Paren'>)</span> <span class='Function'>𝔽</span> <span class='Paren'>(</span><span class='Function'>𝔾</span> <span class='Value'>𝕩</span><span class='Paren'>)</span></code>).</p>
+<h2 id="-must-be-dyadic--must-be-monadic"><a class="header" href="#-must-be-dyadic--must-be-monadic"><code><span class='Function'>𝔽</span></code> must be dyadic, <code><span class='Function'>𝔾</span></code> must be monadic.</a></h2>
+<a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgMSAr4peLLSAyCgogICAxICsgLSAyCgogICAoLSAxKSArICgtIDIp">↗️</a><pre>       <span class='Number'>1</span> <span class='Function'>+</span><span class='Modifier2'>○</span><span class='Function'>-</span> <span class='Number'>2</span>
+¯3
+
+       <span class='Number'>1</span> <span class='Function'>+</span> <span class='Function'>-</span> <span class='Number'>2</span>
+¯1
+
+       <span class='Paren'>(</span><span class='Function'>-</span> <span class='Number'>1</span><span class='Paren'>)</span> <span class='Function'>+</span> <span class='Paren'>(</span><span class='Function'>-</span> <span class='Number'>2</span><span class='Paren'>)</span>
+¯3
+</pre>