From f3d45a1ca914d59968531a6d5c409d80b73e53c3 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 11:57:50 +0530 Subject: complete REPL help for symbols --- docs/help/nothing.html | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 docs/help/nothing.html (limited to 'docs/help/nothing.html') diff --git a/docs/help/nothing.html b/docs/help/nothing.html new file mode 100644 index 00000000..53a04340 --- /dev/null +++ b/docs/help/nothing.html @@ -0,0 +1,23 @@ + + + + BQN: Middle Dot (`·`) + +
(github) / BQN / help
+

Middle Dot (·)

+

·: Nothing

+

In Trains

+

Nothing can serve as a left argument in a train to string together multiple monadic functions.

+↗️
    (-+-) 5
+¯10
+
+    (-·+-) 5
+5
+
+

In Block Headers

+

For Block header pattern matching syntax, Nothing can be used to indicate an unused value.

+↗️
    F ← {𝕊 a‿·‿b: a∾b}
+
+    F 1‿2‿3
+⟨ 1 3 ⟩
+
-- cgit v1.2.3