From 9c2599cb11346602f84d32a2e327580547f19fa1 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 30 Jan 2022 18:02:45 -0500 Subject: Document destructuring assignment --- docs/help/nothing.html | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/help/nothing.html') diff --git a/docs/help/nothing.html b/docs/help/nothing.html index f4361a83..199406fd 100644 --- a/docs/help/nothing.html +++ b/docs/help/nothing.html @@ -20,6 +20,7 @@ 5

Destructuring

+

→full documentation

For pattern matching in assignment or a block header, Nothing indicates an unused value.

↗️
    F ← {𝕊 a‿·‿b: a∾b}
 
-- 
cgit v1.2.3