git.iko.soy/urbit.org
on master help sign in
Merge pull request #876 from urbit/backtic-runes

adds backtics to headers for runes

commit124fb105a213495375494ec247517d3855005bfd authorpoprox <51337059+syzygyzer@users.noreply.github.com> dateThu 21 May 2020, 19:55 (6 years ago) parent5eb18a40a105a1
14 files changed+125−124
compare with master
unifiedsplit
reference/hoon-expressions/rune/bar.md+12−12 reference/hoon-expressions/rune/buc.md+12−11 reference/hoon-expressions/rune/cen.md+10−10 reference/hoon-expressions/rune/col.md+8−8 reference/hoon-expressions/rune/constants.md+4−4 reference/hoon-expressions/rune/dot.md+6−6 reference/hoon-expressions/rune/ket.md+10−10 reference/hoon-expressions/rune/lus.md+5−5 reference/hoon-expressions/rune/mic.md+7−7 reference/hoon-expressions/rune/sig.md+13−13 reference/hoon-expressions/rune/terminators.md+3−3 reference/hoon-expressions/rune/tis.md+14−14 reference/hoon-expressions/rune/wut.md+14−14 reference/hoon-expressions/rune/zap.md+7−7
reference/hoon-expressions/rune/bar.md+12−12
@@ -14,7 +14,7 @@ with changes, which useful for recursion among other things:
1414
1515## Runes
1616
17−### |_ "barcab"
17+### `|_` "barcab"
1818
1919Produce a **door** (a core with a sample).
2020
@@ -104,7 +104,7 @@ The `ne` door prints a digit in base 10, 16, 32 or 64:
104104'c'
105105```
106106
107−### |% "barcen"
107+### `|%` "barcen"
108108
109109Produce a core, `[battery payload]`.
110110
@@ -164,7 +164,7 @@ A trivial core:
164164101
165165```
166166
167−### |: "barcol"
167+### `|:` "barcol"
168168
169169Produce a gate with a custom sample.
170170
@@ -212,7 +212,7 @@ This is useful if you want a gate to have a sample of a particular type, but you
21221212
213213```
214214
215−### |. "bardot"
215+### `|.` "bardot"
216216
217217Produce a trap (a core with one arm `$`).
218218
@@ -280,7 +280,7 @@ trap, since it's a core with an `$` arm.
280280
281281> `$(...)` expands to `%=($ ...)` (["centis"](/docs/reference/hoon-expressions/rune/cen#centis)).
282282
283−### |- "barhep"
283+### `|-` "barhep"
284284
285285Produce a trap (a core with one arm `$`) and evaluate it.
286286
@@ -336,7 +336,7 @@ The classic loop is a decrement:
33633641
337337```
338338
339−### |^ "barket"
339+### `|^` "barket"
340340
341341Produce a core whose battery includes a `$` arm and compute the latter.
342342
@@ -395,7 +395,7 @@ A trivial example:
395395100
396396```
397397
398−### |~ "barsig"
398+### `|~` "barsig"
399399
400400Produce an iron gate.
401401
@@ -434,7 +434,7 @@ See [this discussion of core variance models](@/docs/reference/hoon-expressions/
434434<1|usl {a/@ $~}>
435435```
436436
437−### |* "bartar"
437+### `|*` "bartar"
438438
439439Produce a wet gate (one-armed core with sample).
440440
@@ -500,7 +500,7 @@ Wet and dry gates in a nutshell:
500500The dry gate does not preserve the type of `a` and `b`; the wet
501501gate does.
502502
503−### |= "bartis"
503+### `|=` "bartis"
504504
505505Produce a gate (a one-armed core with a sample).
506506
@@ -560,7 +560,7 @@ A slightly less trivial gate:
560560430
561561```
562562
563−### |@ "barpat"
563+### `|@` "barpat"
564564
565565Produce a 'wet' core `[battery payload]`.
566566
@@ -593,7 +593,7 @@ A `|@` expression produces a 'wet' core whose payload is the expression's subjec
593593
594594The `|@` rune is just like the `|%` rune except that instead of producing a 'dry' core, it produces a 'wet' one. This allows for type polymorphism of its arms, using 'genericity'. See [Advanced types](@/docs/reference/hoon-expressions/advanced.md).
595595
596−### |? "barwut"
596+### `|?` "barwut"
597597
598598Produce a lead trap.
599599
@@ -633,4 +633,4 @@ See this [discussion of the core variance model](@/docs/reference/hoon-expressio
633633
634634~zod:dojo> => ~ ^+ |?(%a) |.(%b)
635635nest-fail
636−```
636+```
reference/hoon-expressions/rune/buc.md+12−11
@@ -52,7 +52,7 @@ Irregular: `*` makes `%noun`, `^` makes `%cell`, `?` makes
5252
5353## Runes
5454
55−### $_ "buccab"
55+### `$_` "buccab"
5656
5757`[%bscb p=hoon]`: structure that normalizes to an example.
5858
@@ -88,7 +88,7 @@ and produces its **example** instead.
8888[%foobaz %moobaz]
8989```
9090
91−### $% "buccen"
91+### `$%` "buccen"
9292
9393`[%bscn p=(list spec)]`: structure which recognizes a union tagged by head atom.
9494
@@ -123,7 +123,7 @@ type default value.
123123[%baz p=0]
124124```
125125
126−### $: "buccol"
126+### `$:` "buccol"
127127
128128`[%bscl p=(list spec)]`: form a cell type.
129129
@@ -158,7 +158,7 @@ Irregular (structure mode): `[a b c]` is `$:(a b c)`.
158158```
159159
160160
161−### $< "bucgal"
161+### `$<` "bucgal"
162162
163163`[%bsld p=spec q=spec]`: Filters a pre-existing mold to obtain a mold
164164that excludes a particular structure.
@@ -193,7 +193,7 @@ ford: %ride failed to execute:
193193 ```
194194
195195
196−### $> "bucgar"
196+### `$>` "bucgar"
197197
198198`[%bsbn p=spec q=spec]`: Filters a mold to obtain a new mold
199199matching a particular structure.
@@ -238,7 +238,7 @@ ford: %ride failed to execute:
238238 ```
239239
240240
241−### $- "buchep"
241+### `$-` "buchep"
242242
243243`[%bshp p=spec q=spec]`: structure that normalizes to an example gate.
244244
@@ -266,7 +266,8 @@ Since a `$-` reduces to a [`$_`](#buccab), it is not useful for normalizing, jus
266266%baz
267267```
268268
269−### $^ "bucket"
269+
270+### `$^` "bucket"
270271
271272`[%bskt p=spec q=spec]`: structure which normalizes a union tagged by head depth (cell).
272273
@@ -300,7 +301,7 @@ Regular: **2-fixed**.
300301[%baz p=0]
301302```
302303
303−### $~ "bucsig"
304+### `$~` "bucsig"
304305
305306`[%bssg p=hoon q=spec]`: define a custom type default value
306307
@@ -363,7 +364,7 @@ Using `$~`:
363364%default-value
364365```
365366
366−### $@ "bucpat"
367+### `$@` "bucpat"
367368
368369`[%bsvt p=spec q=spec]`: structure which normalizes a union tagged by head depth (atom).
369370
@@ -400,7 +401,7 @@ Example:
400401```
401402
402403
403−### $= "buctis"
404+### `$=` "buctis"
404405
405406`[%bsts p=skin q=spec]`: structure which wraps a face around another structure.
406407
@@ -435,7 +436,7 @@ p=%foo
435436ford: %ride failed to execute:
436437```
437438
438−### $? "bucwut"
439+### `$?` "bucwut"
439440
440441`[%bswt p=(list spec)]`: form a type from a union of other types.
441442
reference/hoon-expressions/rune/cen.md+10−10
@@ -10,7 +10,7 @@ These runes reduce to the `%=` rune.
1010
1111## Runes
1212
13−### %_ "cencab"
13+### `%_` "cencab"
1414
1515Resolve a wing with changes, preserving type.
1616
@@ -73,7 +73,7 @@ See [how wings are resolved](@/docs/reference/hoon-expressions/limb/_index.md).
7373! nest-fail
7474```
7575
76−### %: "cencol"
76+### `%:` "cencol"
7777
7878Call a gate with many arguments.
7979
@@ -127,7 +127,7 @@ When `%:` is used in tall-form syntax, the series of expressions after `p` must
12712799
128128```
129129
130−### %. "cendot"
130+### `%.` "cendot"
131131
132132Call a gate (function), inverted.
133133
@@ -168,7 +168,7 @@ The `%.` rune is for evaluating the `$` arm of a gate, i.e., calling a function.
1681686
169169```
170170
171−### %- "cenhep" {#cenhep}
171+### `%-` "cenhep" {#cenhep}
172172
173173Call a gate (function).
174174
@@ -217,7 +217,7 @@ This rune is for evaluating the `$` arm of a gate, i.e., calling a gate as a fun
2172176
218218```
219219
220−### %^ "cenket"
220+### `%^` "cenket"
221221
222222Call gate with triple sample.
223223
@@ -251,7 +251,7 @@ AST:
2512516
252252```
253253
254−### %+ "cenlus"
254+### `%+` "cenlus"
255255
256256Call gate with a cell sample.
257257
@@ -288,7 +288,7 @@ A `%+` expression is for calling a gate with a cell sample. `a` is the gate to
2882886
289289```
290290
291−### %~ "censig"
291+### `%~` "censig"
292292
293293Evaluate an arm in a door.
294294
@@ -340,7 +340,7 @@ See also [`|_`](@/docs/reference/hoon-expressions/rune/bar.md#barcab).
34034020
341341```
342342
343−### %* "centar"
343+### `%*` "centar"
344344
345345Evaluate an expression, then resolve a wing with changes.
346346
@@ -403,7 +403,7 @@ A `%*` expression evaluates some arbitrary Hoon expression, `b`, and then resolv
403403[a=1 b=7 c=10]
404404```
405405
406−### %= "centis"
406+### `%=` "centis"
407407
408408Resolve a wing with changes.
409409
@@ -468,4 +468,4 @@ Here's that again in tall form:
468468[p=42 q=6]
469469~zod:dojo> foo(+3 99)
470470[p=5 99]
471−```
471+```
reference/hoon-expressions/rune/col.md+8−8
@@ -8,7 +8,7 @@ The `:` ("col") expressions are used to produce cells, which are pairs of values
88
99## Runes
1010
11−### :_ "colcab"
11+### `:_` "colcab"
1212
1313`[%clcb p=hoon q=hoon]`; construct a cell, inverted.
1414
@@ -29,7 +29,7 @@ Regular: **2-fixed**.
2929[2 1]
3030```
3131
32−### :: "colcol"
32+### `::` "colcol"
3333
3434Code comment
3535
@@ -48,7 +48,7 @@ Code comment
4848 :: to the input
4949```
5050
51−### :- "colhep"
51+### `:-` "colhep"
5252
5353`[%clhp p=hoon q=hoon]`: construct a cell (2-tuple).
5454
@@ -96,7 +96,7 @@ compiler does), `[a b]` is the same as `:-(a b)`.
9696[~ 1]
9797```
9898
99−### :^ "colket"
99+### `:^` "colket"
100100
101101`[%clkt p=hoon q=hoon r=hoon s=hoon]`: construct a quadruple (4-tuple).
102102
@@ -123,7 +123,7 @@ Regular: **4-fixed**.
123123[5 6 7 8]
124124```
125125
126−### :+ "collus"
126+### `:+` "collus"
127127
128128
129129`[%clls p=hoon q=hoon r=hoon]`: construct a triple (3-tuple).
@@ -150,7 +150,7 @@ Regular: **3-fixed**.
150150[%a ~ 'b']
151151```
152152
153−### :~ "colsig"
153+### `:~` "colsig"
154154
155155`[%clsg p=(list hoon)]`: construct a null-terminated list.
156156
@@ -194,7 +194,7 @@ Regular: **running**.
194194[5 3 4 2 1 ~]
195195```
196196
197−### :* "coltar"
197+### `:*` "coltar"
198198
199199`[%cltr p=(list hoon)]`: construct an n-tuple.
200200
@@ -242,4 +242,4 @@ Regular: **running**.
242242 'a'
243243 ==
244244[5 3 4 1 4 9 0 ~ 'a']
245−```
245+```
reference/hoon-expressions/rune/constants.md+4−4
@@ -45,7 +45,7 @@ We can see the contrast with warm atoms by using the compiler parser function, `
4545[%rock p=%ud q=12]
4646```
4747
48−### `:_ "Paths"`
48+### `:_` "Paths"
4949
5050`[%path p=(list (each @ta hoon))]`: path with interpolation.
5151
@@ -74,7 +74,7 @@ Irregular: `/this/is/a/path`.
7474~
7575```
7676
77−### `:_ "Strings with Interpolation"`
77+### `:_` "Strings with Interpolation"
7878
7979`[%knit p=(list (each @t hoon))]`: text string with interpolation.
8080
@@ -122,7 +122,7 @@ String with interpolated prettyprinting:
122122"hello, %world."
123123```
124124
125−### `:_ "Warm Atoms"` {#warm}
125+### `:_` "Warm Atoms" {#warm}
126126
127127`[%sand p=term q=@]`; a constant, warm atom.
128128
@@ -190,4 +190,4 @@ Irregular. A table of examples:
190190```
191191
192192The `@uv` characters are `0-9`, `a-v`. The `@uw` characters are
193−`0-9`, `a-z`, `A-Z`, `-` and `~`.
193+`0-9`, `a-z`, `A-Z`, `-` and `~`.
reference/hoon-expressions/rune/dot.md+6−6
@@ -8,7 +8,7 @@ Anything Nock can do, Hoon can do also. These runes are used for carrying out N
88
99## Runes
1010
11−### .^ "dotket"
11+### `.^` "dotket"
1212
1313`[%dtkt p=spec q=hoon]`: load from the Arvo namespace with a fake Nock instruction: 'Nock `12`''.
1414
@@ -83,7 +83,7 @@ You can modify the time of the file listing quite simply and ask for a listing f
8383
8484`our` is the value for your ship's name.
8585
86−### .+ "dotlus"
86+### `.+` "dotlus"
8787
8888`[%dtls p=hoon]`: increment an atom with Nock `4`.
8989
@@ -113,7 +113,7 @@ Irregular: `+(6)` is `.+(6)`.
113113nest-fail
114114```
115115
116−### .* "dottar"
116+### `.*` "dottar"
117117
118118`[%dttr p=hoon q=hoon]`: evaluate with Nock `2`.
119119
@@ -156,7 +156,7 @@ therefore possible to use Hoon as a typeless language.
1561561
157157```
158158
159−### .= "dottis" {#dottis}
159+### `.=` "dottis" {#dottis}
160160
161161`[%dtts p=hoon q=hoon]`: test for equality with Nock `5`.
162162
@@ -200,7 +200,7 @@ is a common cause of performance bugs.)
200200nest-fail
201201```
202202
203−### .? "dotwut"
203+### `.?` "dotwut"
204204
205205`[%dtwt p=hoon]`: test for cell or atom with Nock `3`.
206206
@@ -220,4 +220,4 @@ Regular: **1-fixed**.
220220
221221> .?([42 43])
222222%.y
223−```
223+```
reference/hoon-expressions/rune/ket.md+10−10
@@ -13,7 +13,7 @@ it never allows invalid nests, it sometimes rejects valid nests.
1313
1414## Runes
1515
16−### ^| "ketbar"
16+### `^|` "ketbar"
1717
1818`[%ktbr p=hoon]`: convert a gold core to an iron core (contravariant).
1919
@@ -49,7 +49,7 @@ The prettyprinter shows the core metal (`.` gold, `|` iron):
4949<1|gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
5050```
5151
52−### ^: "ketcol"
52+### `^:` "ketcol"
5353
5454`[%ktcl p=spec]`: mold gate for type `p`.
5555
@@ -85,7 +85,7 @@ A mold is an idempotent gate that is guaranteed to produce a noun of that type.
8585ford: %ride failed to execute:
8686```
8787
88−### ^. "ketdot"
88+### `^.` "ketdot"
8989
9090`[%ktdt p=hoon q=hoon]`: typecast on value produced by passing `q` to `p`.
9191
@@ -126,7 +126,7 @@ mint-vain
126126~[22 33]
127127```
128128
129−### ^- "kethep"
129+### `^-` "kethep"
130130
131131`[%kthp p=spec q=hoon]`: typecast by explicit type label.
132132
@@ -170,7 +170,7 @@ infinite loop in the compiler).
170170[~ ~.a]
171171```
172172
173−### ^+ "ketlus"
173+### `^+` "ketlus"
174174
175175`[%ktls p=hoon q=hoon]`: typecast by inferred type.
176176
@@ -189,7 +189,7 @@ Regular: **2-fixed**.
189189'a'
190190```
191191
192−### ^& "ketpam"
192+### `^&` "ketpam"
193193
194194`[%ktpm p=hoon]`: convert a core to a zinc core (covariant).
195195
@@ -242,7 +242,7 @@ ford: %slim failed:
242242ford: %ride failed to compute type:
243243```
244244
245−### ^~ "ketsig"
245+### `^~` "ketsig"
246246
247247`[%ktsg p=hoon]`: fold constant at compile time.
248248
@@ -264,7 +264,7 @@ Regular: **1-fixed**.
264264[%1 p=42]
265265```
266266
267−### ^* "kettar"
267+### `^*` "kettar"
268268
269269`[%kttr p=spec]`: Produce example type value.
270270
@@ -315,7 +315,7 @@ Irregular:
315315""
316316```
317317
318−### ^= "kettis"
318+### `^=` "kettis"
319319
320320`[%ktts p=skin q=hoon]`: Bind name to a value.
321321
@@ -351,7 +351,7 @@ a=1
351351[b=1 c=2 d=[x=3 y4]]
352352```
353353
354−### ^? "ketwut"
354+### `^?` "ketwut"
355355
356356`[%ktwt p=hoon]`: convert any core to a lead core (bivariant).
357357
reference/hoon-expressions/rune/lus.md+5−5
@@ -12,7 +12,7 @@ There are various arm runes you can use to produce different kinds of arms. Nor
1212
1313## Runes
1414
15−### +| "lusbar"
15+### `+|` "lusbar"
1616
1717Chapter label.
1818
@@ -60,7 +60,7 @@ Notice that `p.q` has the label `%numbers`. Contrast with:
6060]
6161```
6262
63−### +$ "lusbuc"
63+### `+$` "lusbuc"
6464
6565Produce a structure arm (type definition).
6666
@@ -98,7 +98,7 @@ nest-fail
9898[%.y 22]
9999```
100100
101−### ++ "luslus"
101+### `++` "luslus"
102102
103103Produce a normal arm.
104104
@@ -133,7 +133,7 @@ Any Hoon expression, `q`, may be used to define the arm computation.
13313312
134134```
135135
136−### +* "lustar"
136+### `+*` "lustar"
137137
138138
139139Produce a type constructor arm.
@@ -173,4 +173,4 @@ nest-fail
173173
174174> `(wrap-flag.c @)`[& 22]
175175[%.y 22]
176−```
176+```
reference/hoon-expressions/rune/mic.md+7−7
@@ -9,7 +9,7 @@ Miscellaneous useful macros.
99
1010## Runes
1111
12−### ;: "miccol"
12+### `;:` "miccol"
1313
1414`[%mccl p=hoon q=(list hoon)]`: call a binary function as an n-ary function.
1515
@@ -59,7 +59,7 @@ Irregular: `:(add a b c)` is `;:(add a b c)`.
595912
6060```
6161
62−### ;+ "miclus"
62+### `;+` "miclus"
6363
6464make a single XML node (Sail)
6565
@@ -118,7 +118,7 @@ One interesting thing about Sail is that it allows you to use complex Hoon expre
118118]
119119```
120120
121−### ;; "micmic"
121+### `;;` "micmic"
122122
123123`[%mcmc p=spec q=hoon]`: normalize with a mold, asserting fixpoint.
124124
@@ -162,7 +162,7 @@ Fails because not a fixpoint:
162162ford: %ride failed to execute:
163163```
164164
165−### ;/ "micfas"
165+### `;/` "micfas"
166166
167167`[%mcnt p=hoon]`: tape as XML element.
168168
@@ -179,7 +179,7 @@ ford: %ride failed to execute:
179179[[%~. [%~. "foo] ~] ~]
180180```
181181
182−### ;~ "micsig"
182+### `;~` "micsig"
183183
184184`[%mcsg p=hoon q=(list hoon)]`: glue a pipeline together with a
185185product-sample adapter.
@@ -283,7 +283,7 @@ A more complicated example:
283283"96acd"
284284```
285285
286−### ;* "mictar"
286+### `;*` "mictar"
287287
288288make a list of XML nodes from complex Hoon expression (Sail)
289289
@@ -335,7 +335,7 @@ If you need a complex Hoon expression to produce a `marl`, use the `;*` rune. O
335335]
336336```
337337
338−### ;= "mictis"
338+### `;=` "mictis"
339339
340340make a list of XML nodes (Sail)
341341
reference/hoon-expressions/rune/sig.md+13−13
@@ -7,7 +7,7 @@ Runes that use Nock `11` to pass non-semantic info to the interpreter.
77
88## Runes
99
10−### ~> "siggar"
10+### `~>` "siggar"
1111
1212`[%sggr p=$@(term [p=term q=hoon]) q=hoon]`: raw hint, applied
1313to computation.
@@ -42,7 +42,7 @@ Running the compiler:
4242[%10 p=[p=97 q=[%4 p=[%1 p=2]]] q=[%1 p=42]]
4343```
4444
45−### ~| "sigbar"
45+### `~|` "sigbar"
4646
4747
4848`[%sgbr p=hoon q=hoon]`: tracing printf.
@@ -72,7 +72,7 @@ ford: build failed
7272ford: build failed
7373```
7474
75−### ~$ "sigbuc"
75+### `~$` "sigbuc"
7676
7777`[%sgbc p=term q=hoon]`: profiling hit counter.
7878
@@ -95,7 +95,7 @@ Regular: **2-fixed**.
95953
9696```
9797
98−### ~_ "sigcab"
98+### `~_` "sigcab"
9999
100100`[%sgcb p=hoon q=hoon]`: user-formatted tracing printf.
101101
@@ -124,7 +124,7 @@ ford: build failed
124124ford: build failed
125125```
126126
127−### ~% "sigcen"
127+### `~%` "sigcen"
128128
129129`[%sgcn p=term q=wing r=(list [term hoon]) s=hoon]`: jet registration.
130130
@@ -214,7 +214,7 @@ Here we label the entire `++aesc` core for optimization. You can see the
214214jet in `jets/e/aesc.c`.
215215
216216
217−### ~< "siggal"
217+### `~<` "siggal"
218218
219219
220220`[%sggl p=$@(term [p=term q=hoon]) q=hoon]`: raw hint, applied to
@@ -244,7 +244,7 @@ rather about its product.
244244[%7 p=[%1 p=42] q=[%10 p=[p=97 q=[%4 p=[%0 p=1]]] q=[%0 p=1]]]
245245```
246246
247−### ~+ "siglus"
247+### `~+` "siglus"
248248
249249`[%sgls p=hoon]`: cache a computation.
250250
@@ -284,7 +284,7 @@ This should work fine:
284284573.147.844.013.817.084.101
285285```
286286
287−### ~/ "sigfas"
287+### `~/` "sigfas"
288288
289289`[%sgfs p=term q=hoon]`: jet registration for gate with
290290registered context.
@@ -311,7 +311,7 @@ From the kernel:
311311 $(a (dec a), b +(b))
312312```
313313
314−### ~& "sigpam"
314+### `~&` "sigpam"
315315
316316`[%sgpm p=hoon q=hoon]`: debugging printf.
317317
@@ -346,7 +346,7 @@ Regular: **2-fixed**.
346346~
347347```
348348
349−### ~= "sigtis"
349+### `~=` "sigtis"
350350
351351`[%sgts p=hoon q=hoon]`: detect duplicate.
352352
@@ -378,7 +378,7 @@ This code traverses a tree and replaces all instances of `32` with
378378
379379Without `~=`, it would build a copy of a completely unchanged tree. Sad!
380380
381−### ~? "sigwut"
381+### `~?` "sigwut"
382382
383383`[%sgwt p=hoon q=hoon r=hoon]`: conditional debug printf.
384384
@@ -416,7 +416,7 @@ Regular: **4-fixed**.
416416~
417417```
418418
419−### ~! "sigzap"
419+### `~!` "sigzap"
420420
421421`[%sgzp p=hoon q=hoon]`: print type on compilation fail.
422422
@@ -446,4 +446,4 @@ Regular: **2-fixed**.
446446 a
447447! @t
448448! find.a
449−```
449+```
reference/hoon-expressions/rune/terminators.md+3−3
@@ -7,7 +7,7 @@ The `--` and `==` are used as terminators: `--` for core expressions, and `==` f
77
88## Runes
99
10−### -- "hephep"
10+### `--` "hephep"
1111
1212##### Syntax
1313
@@ -36,7 +36,7 @@ The `|%`, `|_`, and `|^` runes are used to create cores that can have arbitraril
363624
3737```
3838
39−### == "tistis"
39+### `==` "tistis"
4040
4141##### Syntax
4242
@@ -75,4 +75,4 @@ Certain runes are used to create expressions that may include arbitrarily many s
7575 e 21
7676 ==
7777[a=13 b=15 c=17 d=19 e=21]
78−```
78+```
reference/hoon-expressions/rune/tis.md+14−14
@@ -24,7 +24,7 @@ different situations. Hence the whole family of `=` runes.
2424
2525## Runes
2626
27−### => "tisgar"
27+### `=>` "tisgar"
2828
2929`[%tsgr p=hoon q=hoon]`: compose two expressions.
3030
@@ -46,7 +46,7 @@ Regular: **2-fixed**.
4646[6 6]
4747```
4848
49−### =| "tisbar"
49+### `=|` "tisbar"
5050
5151
5252`[%tsbr p=spec q=hoon]`: combine a default type value with the subject.
@@ -78,7 +78,7 @@ Speaking more loosely, `=|` usually "declares a variable" which is "uninitialize
78787
7979```
8080
81−### =: "tiscol"
81+### `=:` "tiscol"
8282
8383`[%tscl p=(list (pair wing hoon)) q=hoon]`: change multiple legs in the subject.
8484
@@ -107,7 +107,7 @@ This rune is like `=.`, but for modifying the values of multiple legs of the sub
107107[b=3 c=4]
108108```
109109
110−### =, "tiscom"
110+### `=,` "tiscom"
111111
112112`[%tscm p=hoon q=hoon]`: expose namespace
113113
@@ -142,7 +142,7 @@ With a dojo-defined face:
142142[2 4]
143143```
144144
145−### =. "tisdot"
145+### `=.` "tisdot"
146146
147147`[%tsdt p=wing q=hoon r=hoon]`: change one leg in the subject.
148148
@@ -178,7 +178,7 @@ a new subject just like the old one except for a changed value at `p`. Note tha
178178nest-fail
179179```
180180
181−### =- "tishep"
181+### `=-` "tishep"
182182
183183`[%tshp p=hoon q=hoon]`: combine a new noun with the subject, inverted.
184184
@@ -207,7 +207,7 @@ Regular: **2-fixed**.
2072078
208208```
209209
210−### =^ "tisket"
210+### `=^` "tisket"
211211
212212`[%tskt p=skin q=wing r=hoon s=hoon]`: pin the head of a pair; change
213213a leg with the tail.
@@ -247,7 +247,7 @@ random number, so we use `=^`:
247247[99 46]
248248```
249249
250−### =< "tisgal"
250+### `=<` "tisgal"
251251
252252`[%tsgl p=hoon q=hoon]`: compose two expressions, inverted.
253253
@@ -284,7 +284,7 @@ Irregular: `foo:baz` is `=<(foo baz)`.
284284[6 6]
285285```
286286
287−### =+ "tislus"
287+### `=+` "tislus"
288288
289289
290290`[%tsls p=hoon q=hoon]`: combine a new noun with the subject.
@@ -307,7 +307,7 @@ Loosely speaking, `=+` is the simplest way of "declaring a variable."
307307
308308##### Examples
309309
310−### =; "tismic"
310+### `=;` "tismic"
311311
312312`[%tsmc p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation; inverted order.
313313
@@ -336,7 +336,7 @@ Regular: **3-fixed**.
3363368
337337```
338338
339−### =/ "tisfas"
339+### `=/` "tisfas"
340340
341341`[%tsfs p=skin q=hoon r=hoon]`: combine a named noun with the subject, possibly with type annotation.
342342
@@ -385,7 +385,7 @@ Regular: **3-fixed**.
3853858
386386```
387387
388−### =~ "tissig"
388+### `=~` "tissig"
389389
390390
391391`[%tssg p=(list hoon)]`: compose many expressions.
@@ -421,7 +421,7 @@ Regular: **running**.
4214213
422422```
423423
424−### =* "tistar"
424+### `=*` "tistar"
425425
426426`[%tstr p=term q=hoon r=hoon]`: define a macro.
427427
@@ -454,7 +454,7 @@ The difference between macroing and pinning is that pinning changes the subject,
454454[2 2]
455455```
456456
457−### =? "tiswut"
457+### `=?` "tiswut"
458458
459459`[$tswt p=wing q=hoon r=hoon s=hoon]`: conditionally change one leg in the subject.
460460
reference/hoon-expressions/rune/wut.md+14−14
@@ -30,7 +30,7 @@ side is taken), it fails with an error.
3030
3131## Runes
3232
33−### ?> "wutgar"
33+### `?>` "wutgar"
3434
3535`[%wtgr p=hoon q=hoon]`: positive assertion.
3636
@@ -68,7 +68,7 @@ nest-fail
6868123
6969```
7070
71−### ?| "wutbar"
71+### `?|` "wutbar"
7272
7373`[%wtbr p=(list hoon)]`: logical OR.
7474
@@ -107,7 +107,7 @@ Irregular: `|(foo bar baz)` is `?|(foo bar baz)`.
107107%.n
108108```
109109
110−### ?: "wutcol" {#wutcol}
110+### `?:` "wutcol" {#wutcol}
111111
112112`[%wtcl p=hoon q=hoon r=hoon]`: branch on a boolean test.
113113
@@ -155,7 +155,7 @@ Note also that all other branching expressions reduce to `?:`.
1551554
156156```
157157
158−### ?. "wutdot"
158+### `?.` "wutdot"
159159
160160`[%wtdt p=hoon q=hoon r=hoon]`: branch on a boolean test, inverted.
161161
@@ -192,7 +192,7 @@ As is usual with inverted forms, use `?.` when the yes-case expression is much t
192192'but see how \'r is much heavier than \'q?'
193193```
194194
195−### ?- "wuthep"
195+### `?-` "wuthep"
196196
197197`[%wthp p=wing q=(list (pair spec value))]`: switch against a union, with no default.
198198
@@ -254,7 +254,7 @@ will throw `mint-vain`.
254254! nest-fail
255255```
256256
257−### ?^ "wutket"
257+### `?^` "wutket"
258258
259259`[%wtkt p=wing q=hoon r=hoon]`: branch on whether a wing
260260of the subject is a cell.
@@ -287,7 +287,7 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or
2872873
288288```
289289
290−### ?< "wutgal"
290+### `?<` "wutgal"
291291
292292`[%wtgl p=hoon q=hoon]`: negative assertion.
293293
@@ -325,7 +325,7 @@ nest-fail
325325[12 14]
326326```
327327
328−### ?+ "wutlus"
328+### `?+` "wutlus"
329329
330330`[%wtls p=wing q=hoon r=(list (pair spec hoon))]`: switch against
331331a union, with a default.
@@ -382,7 +382,7 @@ If there is a case that is never taken you'll get a `mint-vain` error.
382382240
383383```
384384
385−### ?& "wutpam"
385+### `?&` "wutpam"
386386
387387`[%wtpm p=(list hoon)]`: logical AND.
388388
@@ -421,7 +421,7 @@ Irregular: `&(foo bar baz)` is `?&(foo bar baz)`.
421421%.n
422422```
423423
424−### ?~ "wutsig"
424+### `?~` "wutsig"
425425
426426`[%wtsg p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is null.
427427
@@ -448,7 +448,7 @@ It's bad style to use `?~` to test for any zero atom. Use it only for a true nu
4484481
449449```
450450
451−### ?= "wuttis"
451+### `?=` "wuttis"
452452
453453`[%wtts p=spec q=wing]`: test pattern match.
454454
@@ -484,7 +484,7 @@ A common error is `find.$`, meaning `p` is not a type.
484484%.y
485485```
486486
487−### ?@ "wutpat"
487+### `?@` "wutpat"
488488
489489`[%wtpt p=wing q=hoon r=hoon]`: branch on whether a wing of the subject is an atom.
490490
@@ -516,7 +516,7 @@ The type of the wing, `p`, must not be known to be either an atom or a cell, or
5165164
517517```
518518
519−### ?! "wutzap"
519+### `?!` "wutzap"
520520
521521`[%wtzp p=hoon]`: logical NOT.
522522
@@ -548,4 +548,4 @@ Irregular: `!foo` is `?!(foo)`.
548548
549549~zod:dojo> !(gth 5 6)
550550%.y
551−```
551+```
reference/hoon-expressions/rune/zap.md+7−7
@@ -6,7 +6,7 @@ aliases = ["docs/reference/hoon-expressions/rune/zap/"]
66+++
77## Runes
88
9−### !> "zapgar"
9+### `!>` "zapgar"
1010
1111`[%zpgr p=hoon]`: wrap a noun in its type.
1212
@@ -36,7 +36,7 @@ If you want just the type value, use a 'type spear'. This is `-:!>`, i.e., the
3636#t/@ud
3737```
3838
39−### !< "zapgal"
39+### `!<` "zapgal"
4040
4141`[%zpld p=spec q=hoon]`
4242
@@ -72,7 +72,7 @@ nest-fail
7272[0 1]
7373```
7474
75−### !: "zapcol"
75+### `!:` "zapcol"
7676
7777`[%dbug p=hoon]`: turn on stack trace
7878
@@ -104,7 +104,7 @@ ford: %ride failed to execute:
104104ford: %ride failed to execute:
105105```
106106
107−### !. "zapdot"
107+### `!.` "zapdot"
108108
109109Turn off stack trace for a subexpression `p`
110110
@@ -148,7 +148,7 @@ ford: %ride failed to execute:
148148ford: %ride failed to execute:
149149```
150150
151−### != "zaptis"
151+### `!=` "zaptis"
152152
153153`[%zpts p=hoon]`: make the Nock formula for a Hoon expression.
154154
@@ -189,7 +189,7 @@ Don't confuse the `!=` rune with:
189189
190190The syntax difference is that a test for equality takes two subexpressions, and the `!=` rune only one.
191191
192−### !? "zapwut"
192+### `!?` "zapwut"
193193
194194`[%zpwt p=@ q=hoon]`: restrict Hoon version.
195195
@@ -215,7 +215,7 @@ Regular: **2-fixed**.
215215! exit
216216```
217217
218−### !! "zapzap"
218+### `!!` "zapzap"
219219
220220`[%zpzp ~]`: crash.
221221