From f2cd25f1ab2b04007c1f112dfffd3590e60f2d3b Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 9 Oct 2021 21:12:05 -0400 Subject: Documentation for Nothing --- docs/doc/block.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc/block.html') diff --git a/docs/doc/block.html b/docs/doc/block.html index fa5174c4..d3eb2bb8 100644 --- a/docs/doc/block.html +++ b/docs/doc/block.html @@ -41,7 +41,7 @@ 𝕨 𝕎 -Left argument, or Nothing (·) +Left argument, or Nothing (·) 𝕤 @@ -75,7 +75,7 @@ 4 { ⟨𝕩⋄-𝕨⟩ } 5 ⟨ 5 ¯4 ⟩ -

A function with 𝕨 in its definition doesn't have to be called with two arguments. If it has only one, then 𝕨 is given the special value Nothing ·. This is the only time a variable can ever be Nothing, as an assignment such as v←· is not allowed.

+

A function with 𝕨 in its definition doesn't have to be called with two arguments. If it has only one, then 𝕨 is given the special value Nothing, or ·. This is the only time a variable can ever be Nothing, as an assignment such as v←· is not allowed.

↗️
    3 { (2×𝕨)-𝕩 } 1
 5
       { (2×𝕨)-𝕩 } 1
-- 
cgit v1.2.3