From 9cfc45f731a121282f47218d6ab80c5b9b06e277 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 28 Jan 2022 20:56:46 -0500
Subject: Add ;:? to keybar and help

---
 help/header.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 help/header.md

(limited to 'help/header.md')

diff --git a/help/header.md b/help/header.md
new file mode 100644
index 00000000..c881943a
--- /dev/null
+++ b/help/header.md
@@ -0,0 +1,20 @@
+*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/header.html).*
+
+# Colon (`:`)
+
+## `:`: Header
+[→full documentation](../doc/block.md#block-headers)
+
+Placed at the end of a block header. A header has syntax that matches the way the block is called. It indicates the block type, and number and structure of inputs.
+
+        "xy" {a‿b _op c: b} ∞
+
+Multiple bodies are searched in order to find one with a matching header.
+
+        F ← {m Fn n: m+Fn n;  𝕊n: 2×n;  𝕊⁼𝕩: 𝕩÷2}
+
+        F 3      # 𝕊n
+
+        F⁼ 6     # 𝕊⁼𝕩
+
+        10 F 3   # m Fn n
-- 
cgit v1.2.3