From 224d6ed83efb86fa16ac802af65c63d1b97543e2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 29 Jan 2022 17:48:16 -0500 Subject: More detail in a few help pages --- docs/help/merge_greaterthan.html | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'docs/help/merge_greaterthan.html') diff --git a/docs/help/merge_greaterthan.html b/docs/help/merge_greaterthan.html index c0b21032..da588aa8 100644 --- a/docs/help/merge_greaterthan.html +++ b/docs/help/merge_greaterthan.html @@ -7,9 +7,8 @@

Greater Than (>)

> 𝕩: Merge

→full documentation

-

Add the rank of an element of 𝕩 to the rank of 𝕩.

-

All elements must have the same rank.

-

Returns atomic values as is.

+

Combine an array of arrays into one array. All elements of 𝕩 must have the same rank, and the result rank is that plus the rank of 𝕩.

+

Returns and boxed atoms unchanged.

↗️
    a ← ⟨⟨1, 2⟩, ⟨3, 4⟩⟩
 
     >a
-- 
cgit v1.2.3