git.iko.soy/urbit.org
on master help sign in
runes: change syntax to html tables
commit12f51860013d6723e3e21b508d726771af0b9274 authorTinnus Napbus <admin@tinnus-napbus.xyz> dateWed 6 Apr 2022, 00:03 (5 years ago) parentf5dd3ba
7 files changed+1348−822
compare with master
unifiedsplit
content/docs/hoon/reference/rune/bar.md+217−154 content/docs/hoon/reference/rune/col.md+148−88 content/docs/hoon/reference/rune/dot.md+111−67 content/docs/hoon/reference/rune/lus.md+48−40 content/docs/hoon/reference/rune/tis.md+297−183 content/docs/hoon/reference/rune/wut.md+316−165 content/docs/hoon/reference/rune/zap.md+211−125
content/docs/hoon/reference/rune/bar.md+217−154
@@ -21,22 +21,30 @@ Declares a mold builder wet gate with one or more molds as its sample.
2121
2222Two arguments, fixed.
2323
24−Tall form:
25−
26−```hoon
24+<table>
25+<tr><th>Form</th><th>Syntax</th></tr>
26+<tr>
27+<td>Tall</td>
28+<td>
29+<pre>
2730|$ sample
2831body
29−```
30−
31−Wide form:
32−
33−```hoon
32+</pre>
33+</td>
34+</tr>
35+<tr>
36+<td>Wide</td>
37+<td>
38+<pre>
3439|$(sample body)
35−```
36−
37−Irregular form:
38−
39−None.
40+</pre>
41+</td>
42+</tr>
43+<tr>
44+<td>Irregular</td>
45+<td>None.</td>
46+</tr>
47+</table>
4048
4149#### AST
4250
@@ -109,27 +117,27 @@ Produce a **door** (a core with a sample).
109117
110118One fixed argument, then a variable number of `+`-family expressions.
111119
112−Tall form:
113−
114−```hoon
120+<table>
121+<tr><th>Form</th><th>Syntax</th></tr>
122+<tr>
123+<td>Tall</td>
124+<td>
125+<pre>
115126|_ a=spec
116127++ b=term c=hoon
117128++ d=term e=hoon
118129 ...
119130++ f=term g=hoon
120131--
121−```
132+</pre>
133+</td>
134+</tr>
135+<tr><td>Wide</td><td>None.</td></tr>
136+<tr><td>Irregular</td><td>None.</td></tr>
137+</table>
122138
123139Note: The `++` rune may be replaced with any other rune in the `+` family.
124140
125−Wide form:
126−
127−None.
128−
129−Irregular form:
130−
131−None.
132−
133141#### AST
134142
135143```hoon
@@ -223,22 +231,30 @@ Produce a gate with a custom sample.
223231
224232Two arguments, fixed.
225233
226−Tall form:
227−
228−```hoon
234+<table>
235+<tr><th>Form</th><th>Syntax</th></tr>
236+<tr>
237+<td>Tall</td>
238+<td>
239+<pre>
229240|: a
230241b
231−```
232−
233−Wide form:
234−
235−```hoon
242+</pre>
243+</td>
244+</tr>
245+<tr>
246+<td>Wide</td>
247+<td>
248+<pre>
236249|:(a b)
237−```
238−
239−Irregular form:
240−
241−None
250+</pre>
251+</td>
252+</tr>
253+<tr>
254+<td>Irregular</td>
255+<td>None.</td>
256+</tr>
257+</table>
242258
243259#### AST
244260
@@ -286,27 +302,27 @@ Produce a core, `[battery payload]`.
286302
287303Argument: a variable number of `+`-family expressions.
288304
289−Tall form:
290−
291−```hoon
305+<table>
306+<tr><th>Form</th><th>Syntax</th></tr>
307+<tr>
308+<td>Tall</td>
309+<td>
310+<pre>
292311|%
293312++ a=term b=hoon
294313++ c=term d=hoon
295314 ...
296315++ e=term f=hoon
297316--
298−```
317+</pre>
318+</td>
319+</tr>
320+<tr><td>Wide</td><td>None.</td></tr>
321+<tr><td>Irregular</td><td>None.</td></tr>
322+</table>
299323
300324Note: The `++` rune may be replaced with any other rune in the `+` family.
301325
302−Wide form:
303−
304−None.
305−
306−Irregular form:
307−
308−None.
309−
310326#### AST
311327
312328```hoon
@@ -370,21 +386,29 @@ Produce a trap (a core with one arm `$`).
370386
371387One argument, fixed.
372388
373−Tall form:
374−
375−```hoon
389+<table>
390+<tr><th>Form</th><th>Syntax</th></tr>
391+<tr>
392+<td>Tall</td>
393+<td>
394+<pre>
376395|. a
377−```
378−
379−Wide form:
380−
381−```hoon
396+</pre>
397+</td>
398+</tr>
399+<tr>
400+<td>Wide</td>
401+<td>
402+<pre>
382403|.(a)
383−```
384−
385−Irregular form:
386−
387−None.
404+</pre>
405+</td>
406+</tr>
407+<tr>
408+<td>Irregular</td>
409+<td>None.</td>
410+</tr>
411+</table>
388412
389413#### AST
390414
@@ -455,26 +479,25 @@ Produce a core whose battery includes a `$` arm and compute the latter.
455479
456480One fixed argument, then a variable number of `+`-family expressions.
457481
458−Tall form:
459−
460−```hoon
482+<table>
483+<tr><th>Form</th><th>Syntax</th></tr>
484+<tr>
485+<td>Tall</td>
486+<td>
487+<pre>
461488|^ a=hoon
462489++ b=term c=hoon
463490++ d=term e=hoon
464491 ...
465492++ f=term g=hoon
466493--
467−```
468−
469−Note: The `++` rune may be replaced with any other rune in the `+` family.
470−
471−Wide form:
472−
473−None.
474−
475−Irregular form:
476−
477−None.
494+</pre>
495+</td>
496+</tr>
497+<tr>
498+<td>Wide</td><td>None.</td></tr>
499+<tr><td>Irregular</td><td>None.</td></tr>
500+</table>
478501
479502#### AST
480503
@@ -531,21 +554,29 @@ Produce a trap (a core with one arm `$`) and evaluate it.
531554
532555One argument, fixed.
533556
534−Tall form:
535−
536−```hoon
557+<table>
558+<tr><th>Form</th><th>Syntax</th></tr>
559+<tr>
560+<td>Tall</td>
561+<td>
562+<pre>
537563|- a
538−```
539−
540−Wide form:
541−
542−```hoon
564+</pre>
565+</td>
566+</tr>
567+<tr>
568+<td>Wide</td>
569+<td>
570+<pre>
543571|-(a)
544−```
545−
546−Irregular form:
547−
548−None.
572+</pre>
573+</td>
574+</tr>
575+<tr>
576+<td>Irregular</td>
577+<td>None.</td>
578+</tr>
579+</table>
549580
550581#### AST
551582
@@ -605,22 +636,30 @@ Produce an iron gate.
605636
606637Two arguments, fixed.
607638
608−Tall form:
609−
610−```hoon
639+<table>
640+<tr><th>Form</th><th>Syntax</th></tr>
641+<tr>
642+<td>Tall</td>
643+<td>
644+<pre>
611645|~ a
612646b
613−```
614−
615−Wide form:
616−
617−```hoon
647+</pre>
648+</td>
649+</tr>
650+<tr>
651+<td>Wide</td>
652+<td>
653+<pre>
618654|~(a b)
619−```
620−
621−Irregular form:
622−
623−None.
655+</pre>
656+</td>
657+</tr>
658+<tr>
659+<td>Irregular</td>
660+<td>None.</td>
661+</tr>
662+</table>
624663
625664#### AST
626665
@@ -660,21 +699,29 @@ Produce a wet gate (one-armed core with sample).
660699
661700Two arguments, fixed.
662701
663−Tall form:
664−
665−```hoon
702+<table>
703+<tr><th>Form</th><th>Syntax</th></tr>
704+<tr>
705+<td>Tall</td>
706+<td>
707+<pre>
666708|* a b
667−```
668−
669−Wide form:
670−
671−```hoon
709+</pre>
710+</td>
711+</tr>
712+<tr>
713+<td>Wide</td>
714+<td>
715+<pre>
672716|*(a b)
673−```
674−
675−Irregular form:
676−
677−None.
717+</pre>
718+</td>
719+</tr>
720+<tr>
721+<td>Irregular</td>
722+<td>None.</td>
723+</tr>
724+</table>
678725
679726#### AST
680727
@@ -744,22 +791,30 @@ Produce a gate (a one-armed core with a sample).
744791
745792Two arguments, fixed.
746793
747−Tall form:
748−
749−```hoon
794+<table>
795+<tr><th>Form</th><th>Syntax</th></tr>
796+<tr>
797+<td>Tall</td>
798+<td>
799+<pre>
750800|= a
751801b
752−```
753−
754−Wide form:
755−
756−```hoon
802+</pre>
803+</td>
804+</tr>
805+<tr>
806+<td>Wide</td>
807+<td>
808+<pre>
757809|=(a b)
758−```
759−
760−Irregular form:
761−
762−None.
810+</pre>
811+</td>
812+</tr>
813+<tr>
814+<td>Irregular</td>
815+<td>None.</td>
816+</tr>
817+</table>
763818
764819#### AST
765820
@@ -822,27 +877,27 @@ Produce a 'wet' core `[battery payload]`.
822877
823878Arguments: a variable number of `+`-family expressions.
824879
825−Tall form:
826−
827−```hoon
880+<table>
881+<tr><th>Form</th><th>Syntax</th></tr>
882+<tr>
883+<td>Tall</td>
884+<td>
885+<pre>
828886|@
829887++ a=term b=hoon
830888++ c=term d=hoon
831889 ...
832890++ e=term f=hoon
833891--
834−```
892+</pre>
893+</td>
894+</tr>
895+<tr><td>Wide</td><td>None.</td></tr>
896+<tr><td>Irregular</td><td>None.</td></tr>
897+</table>
835898
836899Note: The `++` rune may be replaced with any other rune in the `+` family.
837900
838−Wide form:
839−
840−None.
841−
842−Irregular form:
843−
844−None.
845−
846901#### AST
847902
848903```hoon
@@ -872,21 +927,29 @@ Produce a lead trap.
872927
873928One argument, fixed.
874929
875−Tall form:
876−
877−```hoon
930+<table>
931+<tr><th>Form</th><th>Syntax</th></tr>
932+<tr>
933+<td>Tall</td>
934+<td>
935+<pre>
878936|? a
879−```
880−
881−Wide form:
882−
883−```hoon
937+</pre>
938+</td>
939+</tr>
940+<tr>
941+<td>Wide</td>
942+<td>
943+<pre>
884944|?(a)
885−```
886−
887−Irregular form:
888−
889−None.
945+</pre>
946+</td>
947+</tr>
948+<tr>
949+<td>Irregular</td>
950+<td>None.</td>
951+</tr>
952+</table>
890953
891954#### AST
892955
content/docs/hoon/reference/rune/col.md+148−88
@@ -16,30 +16,42 @@ Construct a cell (2-tuple).
1616
1717Two arguments, fixed.
1818
19−Tall form:
20−
21−```hoon
19+<table>
20+<tr><th>Form</th><th>Syntax</th></tr>
21+<tr>
22+<td>Tall</td>
23+<td>
24+<pre>
2225:- p
2326q
24−```
25−
26−Wide form:
27−
28−```hoon
27+</pre>
28+</td>
29+</tr>
30+<tr>
31+<td>Wide</td>
32+<td>
33+<pre>
2934:-(p q)
30−```
31−
32−Irregular form:
33−
34−```hoon
35+</pre>
36+</td>
37+</tr>
38+<tr>
39+<td>Irregular #1</td>
40+<td>
41+<pre>
3542[p q]
36−```
37−
38−or
39−
40−```hoon
43+</pre>
44+</td>
45+</tr>
46+<tr>
47+<td>Irregular #2</td>
48+<td>
49+<pre>
4150p^q
42−```
51+</pre>
52+</td>
53+</tr>
54+</table>
4355
4456#### AST
4557
@@ -77,22 +89,30 @@ Construct a cell, inverted.
7789
7890Two arguments, fixed.
7991
80−Tall form:
81−
82−```hoon
92+<table>
93+<tr><th>Form</th><th>Syntax</th></tr>
94+<tr>
95+<td>Tall</td>
96+<td>
97+<pre>
8398:_ p
8499q
85−```
86−
87−Wide form:
88−
89−```hoon
100+</pre>
101+</td>
102+</tr>
103+<tr>
104+<td>Wide</td>
105+<td>
106+<pre>
90107:_(p q)
91−```
92−
93−Irregular form:
94−
95−None.
108+</pre>
109+</td>
110+</tr>
111+<tr>
112+<td>Irregular</td>
113+<td>None.</td>
114+</tr>
115+</table>
96116
97117#### AST
98118
@@ -123,25 +143,35 @@ Construct a triple (3-tuple).
123143
124144Three arguments, fixed.
125145
126−Tall form:
127−
128−```hoon
146+<table>
147+<tr><th>Form</th><th>Syntax</th></tr>
148+<tr>
149+<td>Tall</td>
150+<td>
151+<pre>
129152:+ p
130153 q
131154r
132−```
133−
134−Wide form:
135−
136−```hoon
155+</pre>
156+</td>
157+</tr>
158+<tr>
159+<td>Wide</td>
160+<td>
161+<pre>
137162:+(p q r)
138−```
139−
140−Irregular form:
141−
142−```hoon
163+</pre>
164+</td>
165+</tr>
166+<tr>
167+<td>Irregular</td>
168+<td>
169+<pre>
143170[p q r]
144−```
171+</pre>
172+</td>
173+</tr>
174+</table>
145175
146176#### AST
147177
@@ -177,26 +207,36 @@ Construct a quadruple (4-tuple).
177207
178208Four arguments, fixed.
179209
180−Tall form:
181−
182−```hoon
210+<table>
211+<tr><th>Form</th><th>Syntax</th></tr>
212+<tr>
213+<td>Tall</td>
214+<td>
215+<pre>
183216:^ p
184217 q
185218 r
186219s
187−```
188−
189−Wide form:
190−
191−```hoon
220+</pre>
221+</td>
222+</tr>
223+<tr>
224+<td>Wide</td>
225+<td>
226+<pre>
192227:^(p q r s)
193−```
194−
195−Irregular form:
196−
197−```hoon
228+</pre>
229+</td>
230+</tr>
231+<tr>
232+<td>Irregular</td>
233+<td>
234+<pre>
198235[p q r s]
199−```
236+</pre>
237+</td>
238+</tr>
239+</table>
200240
201241#### AST
202242
@@ -233,27 +273,37 @@ Construct an n-tuple.
233273
234274Variable number of arguments.
235275
236−Tall form:
237−
238−```hoon
276+<table>
277+<tr><th>Form</th><th>Syntax</th></tr>
278+<tr>
279+<td>Tall</td>
280+<td>
281+<pre>
239282:* p1
240283 p2
241284 p3
242285 pn
243286==
244−```
245−
246−Wide form:
247−
248−```hoon
287+</pre>
288+</td>
289+</tr>
290+<tr>
291+<td>Wide</td>
292+<td>
293+<pre>
249294:*(p1 p2 p3 pn)
250−```
251−
252−Irregular form:
253−
254−```hoon
295+</pre>
296+</td>
297+</tr>
298+<tr>
299+<td>Irregular</td>
300+<td>
301+<pre>
255302[p1 p2 p3 pn]
256−```
303+</pre>
304+</td>
305+</tr>
306+</table>
257307
258308#### AST
259309
@@ -313,27 +363,37 @@ Construct a null-terminated list.
313363
314364Variable number of arguments.
315365
316−Tall form:
317−
318−```hoon
366+<table>
367+<tr><th>Form</th><th>Syntax</th></tr>
368+<tr>
369+<td>Tall</td>
370+<td>
371+<pre>
319372:~ p1
320373 p2
321374 p3
322375 pn
323376==
324−```
325−
326−Wide form:
327−
328−```hoon
377+</pre>
378+</td>
379+</tr>
380+<tr>
381+<td>Wide</td>
382+<td>
383+<pre>
329384:~(p1 p2 p3 pn)
330−```
331−
332−Irregular form:
333−
334−```hoon
385+</pre>
386+</td>
387+</tr>
388+<tr>
389+<td>Irregular</td>
390+<td>
391+<pre>
335392~[p1 p2 p3 pn]
336−```
393+</pre>
394+</td>
395+</tr>
396+</table>
337397
338398#### AST
339399
content/docs/hoon/reference/rune/dot.md+111−67
@@ -22,26 +22,34 @@ with a `==`. Note also that the `==` does not make the arguments into a list as
2222you might expect, so `q` must be explicitly null-terminated if its elements are
2323specified separately.
2424
25−Tall form:
26−
27−```hoon
25+<table>
26+<tr><th>Form</th><th>Syntax</th></tr>
27+<tr>
28+<td>Tall</td>
29+<td>
30+<pre>
2831.^ p
2932 q1
3033 q2
3134 q3
3235 qn
3336==
34−```
35−
36−Wide form:
37−
38−```hoon
37+</pre>
38+</td>
39+</tr>
40+<tr>
41+<td>Wide</td>
42+<td>
43+<pre>
3944.^(p q1 q2)
40−```
41−
42−Irregular form:
43−
44−None.
45+</pre>
46+</td>
47+</tr>
48+<tr>
49+<td>Irregular</td>
50+<td>None.</td>
51+</tr>
52+</table>
4553
4654#### AST
4755
@@ -124,23 +132,33 @@ Increment an atom with Nock `4`.
124132
125133One argument, fixed.
126134
127−Tall form:
128−
129−```hoon
135+<table>
136+<tr><th>Form</th><th>Syntax</th></tr>
137+<tr>
138+<td>Tall</td>
139+<td>
140+<pre>
130141.+ p
131−```
132−
133−Wide form:
134−
135−```hoon
142+</pre>
143+</td>
144+</tr>
145+<tr>
146+<td>Wide</td>
147+<td>
148+<pre>
136149.+(p)
137−```
138−
139−Irregular form:
140−
141−```hoon
150+</pre>
151+</td>
152+</tr>
153+<tr>
154+<td>Irregular</td>
155+<td>
156+<pre>
142157+(p)
143−```
158+</pre>
159+</td>
160+</tr>
161+</table>
144162
145163#### AST
146164
@@ -182,22 +200,30 @@ Nock of formula `q` and subject `p`, with type `%noun`.
182200
183201Two arguments, fixed.
184202
185−Tall form:
186−
187−```hoon
203+<table>
204+<tr><th>Form</th><th>Syntax</th></tr>
205+<tr>
206+<td>Tall</td>
207+<td>
208+<pre>
188209.* p
189210q
190−```
191−
192−Wide form:
193−
194−```hoon
211+</pre>
212+</td>
213+</tr>
214+<tr>
215+<td>Wide</td>
216+<td>
217+<pre>
195218.*(p q)
196−```
197−
198−Irregular form:
199−
200−None.
219+</pre>
220+</td>
221+</tr>
222+<tr>
223+<td>Irregular</td>
224+<td>None.</td>
225+</tr>
226+</table>
201227
202228#### AST
203229
@@ -246,24 +272,34 @@ Test for equality with Nock `5`.
246272
247273Two arguments, fixed.
248274
249−Tall form:
250−
251−```hoon
275+<table>
276+<tr><th>Form</th><th>Syntax</th></tr>
277+<tr>
278+<td>Tall</td>
279+<td>
280+<pre>
252281.= p
253282q
254−```
255−
256−Wide form:
257−
258−```hoon
283+</pre>
284+</td>
285+</tr>
286+<tr>
287+<td>Wide</td>
288+<td>
289+<pre>
259290.=(p q)
260−```
261−
262−Irregular form:
263−
264−```hoon
291+</pre>
292+</td>
293+</tr>
294+<tr>
295+<td>Irregular</td>
296+<td>
297+<pre>
265298=(p q)
266−```
299+</pre>
300+</td>
301+</tr>
302+</table>
267303
268304#### AST
269305
@@ -312,21 +348,29 @@ Test for cell or atom with Nock `3`.
312348
313349One argument, fixed.
314350
315−Tall form:
316−
317−```hoon
351+<table>
352+<tr><th>Form</th><th>Syntax</th></tr>
353+<tr>
354+<td>Tall</td>
355+<td>
356+<pre>
318357.? p
319−```
320−
321−Wide form:
322−
323−```hoon
358+</pre>
359+</td>
360+</tr>
361+<tr>
362+<td>Wide</td>
363+<td>
364+<pre>
324365.?(p)
325−```
326−
327−Irregular form:
328−
329−None.
366+</pre>
367+</td>
368+</tr>
369+<tr>
370+<td>Irregular</td>
371+<td>None.</td>
372+</tr>
373+</table>
330374
331375#### AST
332376
content/docs/hoon/reference/rune/lus.md+48−40
@@ -24,19 +24,19 @@ Chapter label.
2424
2525One argument, fixed.
2626
27−Tall form:
28−
29−```hoon
27+<table>
28+<tr><th>Form</th><th>Syntax</th></tr>
29+<tr>
30+<td>Tall</td>
31+<td>
32+<pre>
3033+| %label
31−```
32−
33−Wide form:
34−
35−None.
36−
37−Irregular form:
38−
39−None.
34+</pre>
35+</td>
36+</tr>
37+<tr><td>Wide</td><td>None.</td></tr>
38+<tr><td>Irregular</td><td>None.</td></tr>
39+</table>
4040
4141#### Discussion
4242
@@ -87,19 +87,19 @@ Produce a structure arm (type definition).
8787
8888Two arguments, fixed.
8989
90−Tall form:
91−
92−```hoon
90+<table>
91+<tr><th>Form</th><th>Syntax</th></tr>
92+<tr>
93+<td>Tall</td>
94+<td>
95+<pre>
9396+$ p=term q=spec
94−```
95−
96−Wide form:
97−
98−None.
99−
100−Irregular form:
101−
102−None.
97+</pre>
98+</td>
99+</tr>
100+<tr><td>Wide</td><td>None.</td></tr>
101+<tr><td>Irregular</td><td>None.</td></tr>
102+</table>
103103
104104`p` is an arm name, and `q` is any structure expression.
105105
@@ -140,19 +140,19 @@ Produce a normal arm.
140140
141141Two arguments, fixed.
142142
143−Tall form:
144−
145−```hoon
143+<table>
144+<tr><th>Form</th><th>Syntax</th></tr>
145+<tr>
146+<td>Tall</td>
147+<td>
148+<pre>
146149++ p=term q=hoon
147−```
148−
149−Wide form:
150−
151−None.
152−
153−Irregular form:
154−
155−None.
150+</pre>
151+</td>
152+</tr>
153+<tr><td>Wide</td><td>None.</td></tr>
154+<tr><td>Irregular</td><td>None.</td></tr>
155+</table>
156156
157157`p` is the arm name, and `q` is any Hoon expression.
158158
@@ -189,14 +189,22 @@ Defines deferred expressions within doors.
189189
190190Arguments: A variable number of pairs.
191191
192−Tall form:
193−
194−```hoon
192+<table>
193+<tr><th>Form</th><th>Syntax</th></tr>
194+<tr>
195+<td>Tall</td>
196+<td>
197+<pre>
195198+* a=term b=hoon
196199 c=term d=hoon
197200 ...
198201 e=term f=hoon
199−```
202+</pre>
203+</td>
204+</tr>
205+<tr><td>Wide</td><td>None.</td></tr>
206+<tr><td>Irregular</td><td>None.</td></tr>
207+</table>
200208
201209`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that
202210unlike all other runes with a variable number of arguments, the list of
content/docs/hoon/reference/rune/tis.md+297−183
@@ -32,22 +32,30 @@ Compose two expressions.
3232
3333Two arguments, fixed.
3434
35−Tall form:
36−
37−```hoon
35+<table>
36+<tr><th>Form</th><th>Syntax</th></tr>
37+<tr>
38+<td>Tall</td>
39+<td>
40+<pre>
3841=> p
3942q
40−```
41−
42−Wide form:
43−
44−```hoon
43+</pre>
44+</td>
45+</tr>
46+<tr>
47+<td>Wide</td>
48+<td>
49+<pre>
4550=>(p q)
46−```
47−
48−Irregular form:
49−
50−None.
51+</pre>
52+</td>
53+</tr>
54+<tr>
55+<td>Irregular</td>
56+<td>None.</td>
57+</tr>
58+</table>
5159
5260#### AST
5361
@@ -91,22 +99,30 @@ Combine a default type value ("bunt value") with the subject.
9199
92100Two arguments, fixed.
93101
94−Tall form:
95−
96−```hoon
102+<table>
103+<tr><th>Form</th><th>Syntax</th></tr>
104+<tr>
105+<td>Tall</td>
106+<td>
107+<pre>
97108=| p
98109q
99−```
100−
101−Wide form:
102−
103−```hoon
110+</pre>
111+</td>
112+</tr>
113+<tr>
114+<td>Wide</td>
115+<td>
116+<pre>
104117=|(p q)
105−```
106−
107−Irregular form:
108−
109−None.
118+</pre>
119+</td>
120+</tr>
121+<tr>
122+<td>Irregular</td>
123+<td>None.</td>
124+</tr>
125+</table>
110126
111127#### AST
112128
@@ -148,25 +164,33 @@ Change multiple legs in the subject.
148164
149165Two arguments: the first a variable number of pairs, the second is fixed.
150166
151−Tall form:
152−
153−```hoon
167+<table>
168+<tr><th>Form</th><th>Syntax</th></tr>
169+<tr>
170+<td>Tall</td>
171+<td>
172+<pre>
154173=: p1a p1b
155174 p2a p2b
156175 p3a p3b
157176 ==
158177q
159−```
160−
161−Wide form:
162−
163−```hoon
178+</pre>
179+</td>
180+</tr>
181+<tr>
182+<td>Wide</td>
183+<td>
184+<pre>
164185=:(p1a p1b, p2a p2b, p3a p3b q)
165−```
166−
167−Irregular form:
168−
169−None.
186+</pre>
187+</td>
188+</tr>
189+<tr>
190+<td>Irregular</td>
191+<td>None.</td>
192+</tr>
193+</table>
170194
171195#### AST
172196
@@ -205,22 +229,30 @@ Expose namespace.
205229
206230Two arguments, fixed.
207231
208−Tall form:
209−
210−```hoon
232+<table>
233+<tr><th>Form</th><th>Syntax</th></tr>
234+<tr>
235+<td>Tall</td>
236+<td>
237+<pre>
211238=, p
212239q
213−```
214−
215−Wide form:
216−
217−```hoon
240+</pre>
241+</td>
242+</tr>
243+<tr>
244+<td>Wide</td>
245+<td>
246+<pre>
218247=,(p q)
219−```
220−
221−Irregular form:
222−
223−None.
248+</pre>
249+</td>
250+</tr>
251+<tr>
252+<td>Irregular</td>
253+<td>None.</td>
254+</tr>
255+</table>
224256
225257#### AST
226258
@@ -279,22 +311,30 @@ Change one leg in the subject.
279311
280312Three arguments, fixed.
281313
282−Tall form:
283−
284−```hoon
314+<table>
315+<tr><th>Form</th><th>Syntax</th></tr>
316+<tr>
317+<td>Tall</td>
318+<td>
319+<pre>
285320=. p q
286321r
287−```
288−
289−Wide form:
290−
291−```hoon
322+</pre>
323+</td>
324+</tr>
325+<tr>
326+<td>Wide</td>
327+<td>
328+<pre>
292329=.(p q r)
293−```
294−
295−Irregular form:
296−
297−None.
330+</pre>
331+</td>
332+</tr>
333+<tr>
334+<td>Irregular</td>
335+<td>None.</td>
336+</tr>
337+</table>
298338
299339#### AST
300340
@@ -342,22 +382,30 @@ Combine a new noun with the subject, inverted.
342382
343383Two arguments, fixed.
344384
345−Tall form:
346−
347−```hoon
385+<table>
386+<tr><th>Form</th><th>Syntax</th></tr>
387+<tr>
388+<td>Tall</td>
389+<td>
390+<pre>
348391=- p
349392q
350−```
351−
352−Wide form:
353−
354−```hoon
393+</pre>
394+</td>
395+</tr>
396+<tr>
397+<td>Wide</td>
398+<td>
399+<pre>
355400=-(p q)
356−```
357−
358−Irregular form:
359−
360−None.
401+</pre>
402+</td>
403+</tr>
404+<tr>
405+<td>Irregular</td>
406+<td>None.</td>
407+</tr>
408+</table>
361409
362410#### AST
363411
@@ -398,23 +446,31 @@ Pin the head of a pair; change a leg with the tail.
398446
399447Four arguments, fixed.
400448
401−Tall form:
402−
403−```hoon
449+<table>
450+<tr><th>Form</th><th>Syntax</th></tr>
451+<tr>
452+<td>Tall</td>
453+<td>
454+<pre>
404455=^ p q
405456 r
406457s
407−```
408−
409−Wide form:
410−
411−```hoon
458+</pre>
459+</td>
460+</tr>
461+<tr>
462+<td>Wide</td>
463+<td>
464+<pre>
412465=^(p q r s)
413−```
414−
415−Irregular form:
416−
417−None.
466+</pre>
467+</td>
468+</tr>
469+<tr>
470+<td>Irregular</td>
471+<td>None.</td>
472+</tr>
473+</table>
418474
419475#### AST
420476
@@ -466,24 +522,34 @@ Compose two expressions, inverted.
466522
467523Two arguments, fixed
468524
469−Tall form:
470−
471−```hoon
525+<table>
526+<tr><th>Form</th><th>Syntax</th></tr>
527+<tr>
528+<td>Tall</td>
529+<td>
530+<pre>
472531=< p
473532q
474−```
475−
476−Wide form:
477−
478−```hoon
533+</pre>
534+</td>
535+</tr>
536+<tr>
537+<td>Wide</td>
538+<td>
539+<pre>
479540=<(p q)
480−```
481−
482−Irregular form:
483−
484−```hoon
541+</pre>
542+</td>
543+</tr>
544+<tr>
545+<td>Irregular</td>
546+<td>
547+<pre>
485548p:q
486−```
549+</pre>
550+</td>
551+</tr>
552+</table>
487553
488554#### AST
489555
@@ -528,22 +594,30 @@ Combine a new noun with the subject.
528594
529595Two arguments, fixed.
530596
531−Tall form:
532−
533−```hoon
597+<table>
598+<tr><th>Form</th><th>Syntax</th></tr>
599+<tr>
600+<td>Tall</td>
601+<td>
602+<pre>
534603=+ p
535604q
536−```
537−
538−Wide form:
539−
540−```hoon
605+</pre>
606+</td>
607+</tr>
608+<tr>
609+<td>Wide</td>
610+<td>
611+<pre>
541612=+(p q)
542−```
543−
544−Irregular form:
545−
546−None.
613+</pre>
614+</td>
615+</tr>
616+<tr>
617+<td>Irregular</td>
618+<td>None.</td>
619+</tr>
620+</table>
547621
548622#### AST
549623
@@ -589,23 +663,31 @@ order.
589663
590664Three arguments, fixed.
591665
592−Tall form:
593−
594−```hoon
666+<table>
667+<tr><th>Form</th><th>Syntax</th></tr>
668+<tr>
669+<td>Tall</td>
670+<td>
671+<pre>
595672=; p
596673 q
597674r
598−```
599−
600−Wide form:
601−
602−```hoon
675+</pre>
676+</td>
677+</tr>
678+<tr>
679+<td>Wide</td>
680+<td>
681+<pre>
603682=;(p q r)
604−```
605−
606−Irregular form:
607−
608−None.
683+</pre>
684+</td>
685+</tr>
686+<tr>
687+<td>Irregular</td>
688+<td>None.</td>
689+</tr>
690+</table>
609691
610692#### AST
611693
@@ -646,23 +728,31 @@ Combine a named noun with the subject, possibly with type annotation.
646728
647729Three arguments, fixed.
648730
649−Tall form:
650−
651−```hoon
731+<table>
732+<tr><th>Form</th><th>Syntax</th></tr>
733+<tr>
734+<td>Tall</td>
735+<td>
736+<pre>
652737=/ p
653738 q
654739r
655−```
656−
657−Wide form:
658−
659−```hoon
740+</pre>
741+</td>
742+</tr>
743+<tr>
744+<td>Wide</td>
745+<td>
746+<pre>
660747=/(p q r)
661−```
662−
663−Irregular form:
664−
665−None.
748+</pre>
749+</td>
750+</tr>
751+<tr>
752+<td>Irregular</td>
753+<td>None.</td>
754+</tr>
755+</table>
666756
667757#### AST
668758
@@ -727,25 +817,33 @@ Compose many expressions.
727817
728818Variable number of arguments.
729819
730−Tall form:
731−
732−```hoon
820+<table>
821+<tr><th>Form</th><th>Syntax</th></tr>
822+<tr>
823+<td>Tall</td>
824+<td>
825+<pre>
733826=~ p1
734827 p2
735828 p3
736829 pn
737830==
738−```
739−
740−Wide form:
741−
742−```hoon
831+</pre>
832+</td>
833+</tr>
834+<tr>
835+<td>Wide</td>
836+<td>
837+<pre>
743838=~(p1 p2 p3 pn)
744−```
745−
746−Irregular form:
747−
748−None.
839+</pre>
840+</td>
841+</tr>
842+<tr>
843+<td>Irregular</td>
844+<td>None.</td>
845+</tr>
846+</table>
749847
750848#### AST
751849
@@ -798,23 +896,31 @@ Define a deferred expression.
798896
799897Three arguments, fixed.
800898
801−Tall form:
802−
803−```hoon
899+<table>
900+<tr><th>Form</th><th>Syntax</th></tr>
901+<tr>
902+<td>Tall</td>
903+<td>
904+<pre>
804905=* p
805906 q
806907r
807−```
808−
809−Wide form:
810−
811−```hoon
908+</pre>
909+</td>
910+</tr>
911+<tr>
912+<td>Wide</td>
913+<td>
914+<pre>
812915=*(p q r)
813−```
814−
815−Irregular form:
816−
817−None.
916+</pre>
917+</td>
918+</tr>
919+<tr>
920+<td>Irregular</td>
921+<td>None.</td>
922+</tr>
923+</table>
818924
819925#### AST
820926
@@ -871,23 +977,31 @@ Conditionally change one leg in the subject.
871977
872978Four arguments, fixed.
873979
874−Tall form:
875−
876−```hoon
980+<table>
981+<tr><th>Form</th><th>Syntax</th></tr>
982+<tr>
983+<td>Tall</td>
984+<td>
985+<pre>
877986=? p q
878987 r
879988s
880−```
881−
882−Wide form:
883−
884−```hoon
989+</pre>
990+</td>
991+</tr>
992+<tr>
993+<td>Wide</td>
994+<td>
995+<pre>
885996=?(p q r s)
886−```
887−
888−Irregular form:
889−
890−None.
997+</pre>
998+</td>
999+</tr>
1000+<tr>
1001+<td>Irregular</td>
1002+<td>None.</td>
1003+</tr>
1004+</table>
8911005
8921006#### AST
8931007
content/docs/hoon/reference/rune/wut.md+316−165
@@ -39,27 +39,37 @@ Logical OR.
3939
4040Variable number of arguments.
4141
42−Tall form:
43−
44−```hoon
42+<table>
43+<tr><th>Form</th><th>Syntax</th></tr>
44+<tr>
45+<td>Tall</td>
46+<td>
47+<pre>
4548?| p1
4649 p2
4750 p3
4851 pn
4952==
50−```
51−
52−Wide form:
53−
54−```hoon
53+</pre>
54+</td>
55+</tr>
56+<tr>
57+<td>Wide</td>
58+<td>
59+<pre>
5560?|(p1 p2 p3 pn)
56−```
57−
58−Irregular form:
59−
60−```hoon
61+</pre>
62+</td>
63+</tr>
64+<tr>
65+<td>Irregular</td>
66+<td>
67+<pre>
6168|(p1 p2 p3 pn)
62−```
69+</pre>
70+</td>
71+</tr>
72+</table>
6373
6474#### AST
6575
@@ -111,38 +121,50 @@ Switch against a union, with no default.
111121
112122One fixed argument, then a variable number of pairs.
113123
114−Tall form:
115−
116−```hoon
124+<table>
125+<tr><th>Form</th><th>Syntax</th></tr>
126+<tr>
127+<td>Tall style #1</td>
128+<td>
129+<pre>
117130?- p
118131 q1a q1b
119132 q2a q2b
120133 qna qnb
121134==
122−```
123−
124−Alternative tall form:
125−
126−```hoon
135+</pre>
136+</td>
137+</tr>
138+<tr>
139+<td>Tall style #2</td>
140+<td>
141+<pre>
127142?- p
128143 q1a
129144 q1b
145+::
130146 q2a
131147 q2b
148+::
132149 qna
133150 qnb
134151==
135−```
136−
137−Wide form:
138−
139−```hoon
152+</pre>
153+</td>
154+</tr>
155+<tr>
156+<td>Wide</td>
157+<td>
158+<pre>
140159?-(p q1a q1b, q2a q2b, qna qnb)
141−```
142−
143−Irregular form:
144−
145−None.
160+</pre>
161+</td>
162+</tr>
163+<tr>
164+<td>Irregular</td>
165+<td>None.</td>
166+</tr>
167+</table>
146168
147169#### AST
148170
@@ -215,23 +237,31 @@ Branch on a boolean test.
215237
216238Three arguments, fixed.
217239
218−Tall form:
219−
220−```hoon
240+<table>
241+<tr><th>Form</th><th>Syntax</th></tr>
242+<tr>
243+<td>Tall</td>
244+<td>
245+<pre>
221246?: p
222247 q
223248r
224−```
225−
226−Wide form:
227−
228−```hoon
249+</pre>
250+</td>
251+</tr>
252+<tr>
253+<td>Wide</td>
254+<td>
255+<pre>
229256?:(p q r)
230−```
231−
232−Irregular form:
233−
234−None.
257+</pre>
258+</td>
259+</tr>
260+<tr>
261+<td>Irregular</td>
262+<td>None.</td>
263+</tr>
264+</table>
235265
236266#### AST
237267
@@ -281,23 +311,31 @@ Branch on a boolean test, inverted.
281311
282312Three arguments, fixed.
283313
284−Tall form:
285−
286−```hoon
314+<table>
315+<tr><th>Form</th><th>Syntax</th></tr>
316+<tr>
317+<td>Tall</td>
318+<td>
319+<pre>
287320?. p
288321 q
289322r
290−```
291−
292−Wide form:
293−
294−```hoon
323+</pre>
324+</td>
325+</tr>
326+<tr>
327+<td>Wide</td>
328+<td>
329+<pre>
295330?.(p q r)
296−```
297−
298−Irregular form:
299−
300−None.
331+</pre>
332+</td>
333+</tr>
334+<tr>
335+<td>Irregular</td>
336+<td>None.</td>
337+</tr>
338+</table>
301339
302340#### AST
303341
@@ -345,23 +383,31 @@ Branch on whether a wing of the subject is a cell.
345383
346384Three arguments, fixed.
347385
348−Tall form:
349−
350−```hoon
386+<table>
387+<tr><th>Form</th><th>Syntax</th></tr>
388+<tr>
389+<td>Tall</td>
390+<td>
391+<pre>
351392?^ p
352393 q
353394r
354−```
355−
356−Wide form:
357−
358−```hoon
395+</pre>
396+</td>
397+</tr>
398+<tr>
399+<td>Wide</td>
400+<td>
401+<pre>
359402?^(p q r)
360−```
361−
362−Irregular form:
363−
364−None.
403+</pre>
404+</td>
405+</tr>
406+<tr>
407+<td>Irregular</td>
408+<td>None.</td>
409+</tr>
410+</table>
365411
366412#### AST
367413
@@ -405,22 +451,30 @@ Negative assertion.
405451
406452Two arguments, fixed.
407453
408−Tall form:
409−
410−```hoon
454+<table>
455+<tr><th>Form</th><th>Syntax</th></tr>
456+<tr>
457+<td>Tall</td>
458+<td>
459+<pre>
411460?< p
412461q
413−```
414−
415−Wide form:
416−
417−```hoon
462+</pre>
463+</td>
464+</tr>
465+<tr>
466+<td>Wide</td>
467+<td>
468+<pre>
418469?<(p q)
419−```
420−
421−Irregular form:
422−
423−None.
470+</pre>
471+</td>
472+</tr>
473+<tr>
474+<td>Irregular</td>
475+<td>None.</td>
476+</tr>
477+</table>
424478
425479#### AST
426480
@@ -468,22 +522,30 @@ Positive assertion.
468522
469523Two arguments, fixed.
470524
471−Tall form:
472−
473−```hoon
525+<table>
526+<tr><th>Form</th><th>Syntax</th></tr>
527+<tr>
528+<td>Tall</td>
529+<td>
530+<pre>
474531?> p
475532q
476−```
477−
478−Wide form:
479−
480−```hoon
533+</pre>
534+</td>
535+</tr>
536+<tr>
537+<td>Wide</td>
538+<td>
539+<pre>
481540?>(p q)
482−```
483−
484−Irregular form:
485−
486−None.
541+</pre>
542+</td>
543+</tr>
544+<tr>
545+<td>Irregular</td>
546+<td>None.</td>
547+</tr>
548+</table>
487549
488550#### AST
489551
@@ -529,7 +591,52 @@ Switch against a union, with a default.
529591
530592#### Syntax
531593
532−Regular: **2-fixed**, then **jogging**.
594+Two fixed arguments, then a variable number of pairs.
595+
596+<table>
597+<tr><th>Form</th><th>Syntax</th></tr>
598+<tr>
599+<td>Tall style #1</td>
600+<td>
601+<pre>
602+?+ p q
603+ r1a r1b
604+ r2a r2b
605+ rna rnb
606+==
607+</pre>
608+</td>
609+</tr>
610+<tr>
611+<td>Tall style #2</td>
612+<td>
613+<pre>
614+?+ p q
615+ r1a
616+ r1b
617+::
618+ r2a
619+ r2b
620+::
621+ rna
622+ rnb
623+==
624+</pre>
625+</td>
626+</tr>
627+<tr>
628+<td>Wide</td>
629+<td>
630+<pre>
631+?+(p q r1a r1b, r2a r2b, rna rnb)
632+</pre>
633+</td>
634+</tr>
635+<tr>
636+<td>Irregular</td>
637+<td>None.</td>
638+</tr>
639+</table>
533640
534641#### AST
535642
@@ -598,26 +705,36 @@ Logical AND.
598705
599706Variable arguments.
600707
601−Tall form:
602−
603−```hoon
708+<table>
709+<tr><th>Form</th><th>Syntax</th></tr>
710+<tr>
711+<td>Tall</td>
712+<td>
713+<pre>
604714?& p1
605715 p2
606716 pn
607717==
608−```
609−
610−Wide form:
611−
612−```hoon
718+</pre>
719+</td>
720+</tr>
721+<tr>
722+<td>Wide</td>
723+<td>
724+<pre>
613725?&(p1 p2 pn)
614−```
615−
616−Irregular form:
617−
618−```hoon
726+</pre>
727+</td>
728+</tr>
729+<tr>
730+<td>Irregular</td>
731+<td>
732+<pre>
619733&(p1 p2 pn)
620−```
734+</pre>
735+</td>
736+</tr>
737+</table>
621738
622739#### AST
623740
@@ -669,23 +786,31 @@ Branch on whether a wing of the subject is an atom.
669786
670787Three arguments, fixed.
671788
672−Tall form:
673−
674−```hoon
789+<table>
790+<tr><th>Form</th><th>Syntax</th></tr>
791+<tr>
792+<td>Tall</td>
793+<td>
794+<pre>
675795?@ p
676796 q
677797r
678−```
679−
680−Wide form:
681−
682−```hoon
798+</pre>
799+</td>
800+</tr>
801+<tr>
802+<td>Wide</td>
803+<td>
804+<pre>
683805?@(p q r)
684−```
685−
686−Irregular form:
687−
688−None.
806+</pre>
807+</td>
808+</tr>
809+<tr>
810+<td>Irregular</td>
811+<td>None.</td>
812+</tr>
813+</table>
689814
690815#### AST
691816
@@ -733,23 +858,31 @@ Branch on whether a wing of the subject is null.
733858
734859Three arguments, fixed.
735860
736−Tall form:
737−
738−```hoon
861+<table>
862+<tr><th>Form</th><th>Syntax</th></tr>
863+<tr>
864+<td>Tall</td>
865+<td>
866+<pre>
739867?~ p
740868 q
741869r
742−```
743−
744−Wide form:
745−
746−```hoon
870+</pre>
871+</td>
872+</tr>
873+<tr>
874+<td>Wide</td>
875+<td>
876+<pre>
747877?~(p q r)
748−```
749−
750−Irregular form:
751−
752−None.
878+</pre>
879+</td>
880+</tr>
881+<tr>
882+<td>Irregular</td>
883+<td>None.</td>
884+</tr>
885+</table>
753886
754887#### AST
755888
@@ -791,22 +924,30 @@ Test pattern match.
791924
792925Two arguments, fixed.
793926
794−Tall form:
795−
796−```hoon
927+<table>
928+<tr><th>Form</th><th>Syntax</th></tr>
929+<tr>
930+<td>Tall</td>
931+<td>
932+<pre>
797933?= p
798934q
799−```
800−
801−Wide form:
802−
803−```hoon
935+</pre>
936+</td>
937+</tr>
938+<tr>
939+<td>Wide</td>
940+<td>
941+<pre>
804942?=(p q)
805−```
806−
807−Irregular form:
808−
809−None.
943+</pre>
944+</td>
945+</tr>
946+<tr>
947+<td>Irregular</td>
948+<td>None.</td>
949+</tr>
950+</table>
810951
811952#### AST
812953
@@ -851,23 +992,33 @@ Logical NOT.
851992
852993One argument, fixed.
853994
854−Tall form:
855−
856−```hoon
995+<table>
996+<tr><th>Form</th><th>Syntax</th></tr>
997+<tr>
998+<td>Tall</td>
999+<td>
1000+<pre>
8571001?! p
858−```
859−
860−Wide form:
861−
862−```hoon
1002+</pre>
1003+</td>
1004+</tr>
1005+<tr>
1006+<td>Wide</td>
1007+<td>
1008+<pre>
8631009?!(p)
864−```
865−
866−Irregular form:
867−
868−```hoon
1010+</pre>
1011+</td>
1012+</tr>
1013+<tr>
1014+<td>Irregular</td>
1015+<td>
1016+<pre>
8691017!p
870−```
1018+</pre>
1019+</td>
1020+</tr>
1021+</table>
8711022
8721023#### AST
8731024
content/docs/hoon/reference/rune/zap.md+211−125
@@ -13,22 +13,30 @@ Produce the Hoon AST of an expression.
1313
1414Two arguments, fixed.
1515
16−Tall form:
17−
18−```hoon
16+<table>
17+<tr><th>Form</th><th>Syntax</th></tr>
18+<tr>
19+<td>Tall</td>
20+<td>
21+<pre>
1922!, p
2023q
21−```
22−
23−Wide form:
24−
25−```hoon
24+</pre>
25+</td>
26+</tr>
27+<tr>
28+<td>Wide</td>
29+<td>
30+<pre>
2631!,(p q)
27−```
28−
29−Irregular form:
30−
31−None.
32+</pre>
33+</td>
34+</tr>
35+<tr>
36+<td>Irregular</td>
37+<td>None.</td>
38+</tr>
39+</table>
3240
3341#### AST
3442
@@ -63,21 +71,29 @@ Wrap a noun in its type (form a [`vase`](/docs/hoon/reference/stdlib/4o#vase)).
6371
6472One argument, fixed.
6573
66−Tall form:
67−
68−```hoon
74+<table>
75+<tr><th>Form</th><th>Syntax</th></tr>
76+<tr>
77+<td>Tall</td>
78+<td>
79+<pre>
6980!> p
70−```
71−
72−Wide form:
73−
74−```hoon
81+</pre>
82+</td>
83+</tr>
84+<tr>
85+<td>Wide</td>
86+<td>
87+<pre>
7588!>(p)
76−```
77−
78−Irregular form:
79−
80−None.
89+</pre>
90+</td>
91+</tr>
92+<tr>
93+<td>Irregular</td>
94+<td>None.</td>
95+</tr>
96+</table>
8197
8298#### AST
8399
@@ -120,22 +136,30 @@ its type nests.
120136
121137Two arguments, fixed.
122138
123−Tall form:
124−
125−```hoon
139+<table>
140+<tr><th>Form</th><th>Syntax</th></tr>
141+<tr>
142+<td>Tall</td>
143+<td>
144+<pre>
126145!< p
127146q
128−```
129−
130−Wide form:
131−
132−```hoon
147+</pre>
148+</td>
149+</tr>
150+<tr>
151+<td>Wide</td>
152+<td>
153+<pre>
133154!<(p q)
134−```
135−
136−Irregular form:
137−
138−None.
155+</pre>
156+</td>
157+</tr>
158+<tr>
159+<td>Irregular</td>
160+<td>None.</td>
161+</tr>
162+</table>
139163
140164#### AST
141165
@@ -176,22 +200,30 @@ Wrap a noun in its type (raw).
176200
177201Two arguments, fixed.
178202
179−Tall form:
180−
181−```hoon
203+<table>
204+<tr><th>Form</th><th>Syntax</th></tr>
205+<tr>
206+<td>Tall</td>
207+<td>
208+<pre>
182209!; p
183210q
184−```
185−
186−Wide form:
187−
188−```hoon
211+</pre>
212+</td>
213+</tr>
214+<tr>
215+<td>Wide</td>
216+<td>
217+<pre>
189218!;(p q)
190−```
191−
192−Irregular form:
193−
194−None.
219+</pre>
220+</td>
221+</tr>
222+<tr>
223+<td>Irregular</td>
224+<td>None.</td>
225+</tr>
226+</table>
195227
196228#### AST
197229
@@ -233,21 +265,29 @@ Make the Nock formula for a Hoon expression.
233265
234266One argument, fixed.
235267
236−Tall form:
237−
238−```hoon
268+<table>
269+<tr><th>Form</th><th>Syntax</th></tr>
270+<tr>
271+<td>Tall</td>
272+<td>
273+<pre>
239274!= p
240−```
241−
242−Wide form:
243−
244−```hoon
275+</pre>
276+</td>
277+</tr>
278+<tr>
279+<td>Wide</td>
280+<td>
281+<pre>
245282!=(p)
246−```
247−
248−Irregular form:
249−
250−None.
283+</pre>
284+</td>
285+</tr>
286+<tr>
287+<td>Irregular</td>
288+<td>None.</td>
289+</tr>
290+</table>
251291
252292#### AST
253293
@@ -299,22 +339,30 @@ Restrict Hoon version.
299339
300340Two arguments, fixed.
301341
302−Tall form:
303−
304−```hoon
342+<table>
343+<tr><th>Form</th><th>Syntax</th></tr>
344+<tr>
345+<td>Tall</td>
346+<td>
347+<pre>
305348!? p
306349q
307−```
308−
309−Wide form:
310−
311−```hoon
350+</pre>
351+</td>
352+</tr>
353+<tr>
354+<td>Wide</td>
355+<td>
356+<pre>
312357!?(p q)
313−```
314−
315−Irregular form:
316−
317−None.
358+</pre>
359+</td>
360+</tr>
361+<tr>
362+<td>Irregular</td>
363+<td>None.</td>
364+</tr>
365+</table>
318366
319367#### AST
320368
@@ -357,23 +405,31 @@ Branch on whether a wing exists.
357405
358406Three arguments, fixed.
359407
360−Tall form:
361−
362−```hoon
408+<table>
409+<tr><th>Form</th><th>Syntax</th></tr>
410+<tr>
411+<td>Tall</td>
412+<td>
413+<pre>
363414!@ p
364415 q
365416r
366−```
367−
368−Wide form:
369−
370−```hoon
417+</pre>
418+</td>
419+</tr>
420+<tr>
421+<td>Wide</td>
422+<td>
423+<pre>
371424!@(p q r)
372−```
373−
374−Irregular form:
375−
376−None.
425+</pre>
426+</td>
427+</tr>
428+<tr>
429+<td>Irregular</td>
430+<td>None.</td>
431+</tr>
432+</table>
377433
378434#### AST
379435
@@ -408,15 +464,29 @@ Crash.
408464
409465No arguments.
410466
411−Tall & wide form:
412−
413−```hoon
467+<table>
468+<tr><th>Form</th><th>Syntax</th></tr>
469+<tr>
470+<td>Tall</td>
471+<td>
472+<pre>
414473!!
415−```
416−
417−Irregular form:
418−
419−None.
474+</pre>
475+</td>
476+</tr>
477+<tr>
478+<td>Wide</td>
479+<td>
480+<pre>
481+!!
482+</pre>
483+</td>
484+</tr>
485+<tr>
486+<td>Irregular</td>
487+<td>None.</td>
488+</tr>
489+</table>
420490
421491#### AST
422492
@@ -449,21 +519,29 @@ Turn on stack trace.
449519
450520One argument, fixed
451521
452−Tall form:
453−
454−```hoon
522+<table>
523+<tr><th>Form</th><th>Syntax</th></tr>
524+<tr>
525+<td>Tall</td>
526+<td>
527+<pre>
455528!: p
456−```
457−
458−Wide form:
459−
460−```hoon
529+</pre>
530+</td>
531+</tr>
532+<tr>
533+<td>Wide</td>
534+<td>
535+<pre>
461536!:(p)
462−```
463−
464−Irregular form:
465−
466−None.
537+</pre>
538+</td>
539+</tr>
540+<tr>
541+<td>Irregular</td>
542+<td>None.</td>
543+</tr>
544+</table>
467545
468546#### Produces
469547
@@ -496,21 +574,29 @@ Turn off stack trace for a subexpression `p`
496574
497575One argument, fixed.
498576
499−Tall form:
500−
501−```hoon
577+<table>
578+<tr><th>Form</th><th>Syntax</th></tr>
579+<tr>
580+<td>Tall</td>
581+<td>
582+<pre>
502583!. p
503−```
504−
505−Wide form:
506−
507−```hoon
584+</pre>
585+</td>
586+</tr>
587+<tr>
588+<td>Wide</td>
589+<td>
590+<pre>
508591!.(p)
509−```
510−
511−Irregular form:
512−
513−None.
592+</pre>
593+</td>
594+</tr>
595+<tr>
596+<td>Irregular</td>
597+<td>None.</td>
598+</tr>
599+</table>
514600
515601#### Produces
516602