From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 18:12:13 -0500 Subject: Github doesn't remove Unicode letters from header slugs apparently --- docs/help/range_windows.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/range_windows.html') diff --git a/docs/help/range_windows.html b/docs/help/range_windows.html index 1f6d2454..e480c331 100644 --- a/docs/help/range_windows.html +++ b/docs/help/range_windows.html @@ -5,7 +5,7 @@
(github) / BQN / help

Up Down Arrow (↕)

-

↕ 𝕩: Range

+

↕ 𝕩: Range

Return all indices to index into an array of shape 𝕩, in the shape described by 𝕩.

When given a single number, range from 0 to 𝕩-1.

↗️
       ↕ 4
@@ -19,7 +19,7 @@
   ⟨ 3 0 ⟩ ⟨ 3 1 ⟩ ⟨ 3 2 ⟩ ⟨ 3 3 ⟩ ⟨ 3 4 ⟩  
                                           ┘
-

𝕨 ↕ 𝕩: Windows

+

𝕨 ↕ 𝕩: Windows

Overlapping slices of 𝕩 which are of shape 𝕨.

↗️
       5 ↕ "abcdefg"
 ┌─       
-- 
cgit v1.2.3