aboutsummaryrefslogtreecommitdiff
path: root/help/header.md
diff options
context:
space:
mode:
Diffstat (limited to 'help/header.md')
-rw-r--r--help/header.md20
1 files changed, 20 insertions, 0 deletions
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