From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 24 Jan 2022 18:12:13 -0500
Subject: Github doesn't remove Unicode letters from header slugs apparently

---
 docs/help/constant.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/help/constant.html')

diff --git a/docs/help/constant.html b/docs/help/constant.html
index 4e1ad74f..7b0017f2 100644
--- a/docs/help/constant.html
+++ b/docs/help/constant.html
@@ -5,7 +5,7 @@
 </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="dot-above-"><a class="header" href="#dot-above-">Dot Above (<code><span class='Modifier'>˙</span></code>)</a></h1>
-<h2 id="-----constant"><a class="header" href="#-----constant"><code><span class='Function'>𝔽</span><span class='Modifier'>˙</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>˙</span> <span class='Value'>𝕩</span></code>: Constant</a></h2>
+<h2 id="𝔽-𝕩-𝕨-𝔽-𝕩-constant"><a class="header" href="#𝔽-𝕩-𝕨-𝔽-𝕩-constant"><code><span class='Function'>𝔽</span><span class='Modifier'>˙</span> <span class='Value'>𝕩</span></code>, <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>˙</span> <span class='Value'>𝕩</span></code>: Constant</a></h2>
 <p>Returns a function that will always return <code><span class='Value'>𝕗</span></code>.</p>
 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=ICAgImhlbGxvIiAoMSDLmSkgMgoKICAgImhlbGxvIiAoe/Cdlagr8J2VqX0gy5kpIDI=">↗️</a><pre>       <span class='String'>&quot;hello&quot;</span> <span class='Paren'>(</span><span class='Number'>1</span> <span class='Modifier'>˙</span><span class='Paren'>)</span> <span class='Number'>2</span>
 1
-- 
cgit v1.2.3