on master help sign in
docs: convert all inline HTML tables to markdoc
commita7a9ce04c98b2eae523db1daf29be863e75ef0b8 authorMatilde Park <matilde.park@urbit.org> dateMon 6 Jun 2022, 19:21 (4 years ago) parent6d36307
15 files changed+2904−3118
content/docs/azimuth/l2/roller-tutorial.md+11−50 content/docs/hoon/guides/sail.md+249−164 content/docs/hoon/overview.md+1−1 content/docs/hoon/reference/rune/bar.md+267−257 content/docs/hoon/reference/rune/buc.md+294−317 content/docs/hoon/reference/rune/cen.md+260−305 content/docs/hoon/reference/rune/col.md+150−181 content/docs/hoon/reference/rune/dot.md+111−130 content/docs/hoon/reference/rune/ket.md+210−234 content/docs/hoon/reference/rune/lus.md+83−55 content/docs/hoon/reference/rune/mic.md+176−181 content/docs/hoon/reference/rune/sig.md+257−283 content/docs/hoon/reference/rune/tis.md+307−351 content/docs/hoon/reference/rune/wut.md+322−373 content/docs/hoon/reference/rune/zap.md+206−236
content/docs/azimuth/l2/roller-tutorial.md+11−50
@@ -159,53 +159,14 @@ set up at `https://myroller.sampel-pal.net`.
159159rate at which transactions are submitted and manually submitting batches. These
160160can be modified using the following generators:
161161
162−<table>
163− <thead><tr><th>Dojo Command</th><th>Description</th><th>Argument</th></tr></thead>
164−<tbody>
165− <tr>
166− <td><code>:roller|commit</code></td>
167− <td>Submits a new L2 batch with all pending transactions.</td>
168− <td>None.</td>
169− </tr>
170− <tr>
171− <td><code>:roller|config</code></td>
172− <td>General configuration command.</td>
173− <td><code>$config</code> (see <code>/sur/dice.hoon</code>)</td>
174− </tr>
175− <tr>
176− <td><code>:roller|endpoint</code></td>
177− <td>Set the Infura endpoint.</td>
178− <td><code>[@t ?(%mainnet %ropsten %local)]</code></td>
179− </tr>
180− <tr>
181− <td><code>:roller|frequency</code></td>
182− <td>Sets the frequency at which batches are submitted.</td>
183− <td><code>@dr</code></td>
184− </tr>
185− <tr>
186− <td><code>:roller|local</code></td>
187− <td>Configures <code>%roller</code> to listen to a local Ethereum node at port 8545.</td>
188− <td>None.</td>
189− </tr>
190− <tr>
191− <td><code>:roller|quota</code></td>
192− <td>Modified the number of txs a ship is allowed to send per unit time.</td>
193− <td><code>@ud</code></td>
194− </tr>
195− <tr>
196− <td><code>:roller|ropsten</code></td>
197− <td>Configure %roller to listen to a preset Ropsten Infura node.</td>
198− <td>None.</td>
199− </tr>
200− <tr>
201− <td><code>:roller|setkey</code></td>
202− <td>Load a private key into the roller and retrieves its L1 nonce.</td>
203− <td><code>@t</code></td>
204− </tr>
205− <tr>
206− <td><code>:roller|slice</code></td>
207− <td>Modified the unit of time for each ship's quota.</td>
208− <td><code>@dr</code></td>
209− </tr>
210−</tbody>
211−</table>
162+| Dojo Command | Description | Argument |
163+| -------------------- | --------------------------------------------------------------------- | ---------------------------------- |
164+| `:roller\|commit` | Submits a new L2 batch with all pending transactions. | None. |
165+| `:roller\|config` | General configuration command. | `$config` (see `/sur/dice.hoon`) |
166+| `:roller\|endpoint` | Set the Infura endpoint. | `[@t ?(%mainnet %ropsten %local)]` |
167+| `:roller\|frequency` | Sets the frequency at which batches are submitted. | `@dr` |
168+| `:roller\|local` | Configures `%roller` to listen to a local Ethereum node at port 8545. | None. |
169+| `:roller\|quota` | Modified the number of txs a ship is allowed to send per unit time. | `@ud` |
170+| `:roller\|ropsten` | Configure `%roller` to listen to a preset Ropsten Infura node. | None. |
171+| `:roller\|setkey` | Load a private key into the roller and retrieves its L1 nonce. | `@t` |
172+| `:roller\|slice` | Modified the unit of time for each ship's quota. | `@dr` |
content/docs/hoon/guides/sail.md+249−164
@@ -18,40 +18,48 @@ This document will walk through the basics of Sail and its syntax.
1818
1919It’s easy to see how Sail can directly translate to HTML:
2020
21−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead>
22−<tbody><tr><td><pre class="language-hoon">
23−;html
24− ;head
25− ;title: My page
26− ;meta(charset "utf-8");
27− ==
28− ;body
29− ;h1: Welcome!
30− ;p
31− ; Hello, world!
32− ; Welcome to my page.
33− ; Here is an image:
34− ;br;
35− ;img@"/foo.png";
21+{% table %}
22+
23+- Sail
24+- HTML
25+
26+---
27+
28+- ```
29+ ;html
30+ ;head
31+ ;title: My page
32+ ;meta(charset "utf-8");
33+ ==
34+ ;body
35+ ;h1: Welcome!
36+ ;p
37+ ; Hello, world!
38+ ; Welcome to my page.
39+ ; Here is an image:
40+ ;br;
41+ ;img@"/foo.png";
42+ ==
3643 ==
3744 ==
38−==
39−</pre></td><td><pre>
40−&#x26;&#x6C;&#x74;&#x3B;html>
41− &#x26;&#x6C;&#x74;&#x3B;head>
42− &#x26;&#x6C;&#x74;&#x3B;title>My page&#x26;&#x6C;&#x74;&#x3B;/title>
43− &#x26;&#x6C;&#x74;&#x3B;meta charset="utf-8" />
44− &#x26;&#x6C;&#x74;&#x3B;/head>
45− &#x26;&#x6C;&#x74;&#x3B;body>
46− &#x26;&#x6C;&#x74;&#x3B;h1>Welcome!&#x26;&#x6C;&#x74;&#x3B;/h1>
47− &#x26;&#x6C;&#x74;&#x3B;p>Hello, world! Welcome to my
48− page. Here is an image:
49− &#x26;&#x6C;&#x74;&#x3B;br />
50− &#x26;&#x6C;&#x74;&#x3B;img src="/foo.png" />
51− &#x26;&#x6C;&#x74;&#x3B;/p>
52− &#x26;&#x6C;&#x74;&#x3B;/body>
53−&#x26;&#x6C;&#x74;&#x3B;/html>
54−</pre></td></tr></tbody></table>
45+ ```
46+- ```
47+ <html>
48+ <head>
49+ <title>My page</title>
50+ <meta charset="utf-8" />
51+ </head>
52+ <body>
53+ <h1>Welcome!</h1>
54+ <p>Hello, world! Welcome to my
55+ page. Here is an image:
56+ <br />
57+ <img src="/foo.png" />
58+ </p>
59+ </body>
60+ </html>
61+ ```
62+ {% /table %}
5563
5664## Tags and Closing
5765
@@ -63,17 +71,17 @@ close expressions; Sail inherits this convenience.
6371### Empty
6472
6573Empty tags are closed with a `;` following the tag. For example, `;div;` will be
66−rendered as `&lt;div>&lt;/div>`. Non-container tags `;br;` and `;img@"some-url";` in
67−particular will be rendered as a single tag like `&lt;br />` and `&lt;img src="some-url" />`.
74+rendered as `<div></div>`. Non-container tags `;br;` and `;img@"some-url";` in
75+particular will be rendered as a single tag like `<br />` and `<img src="some-url" />`.
6876
6977### Filled
7078
7179Filled tags are closed via line-break. To fill text inside, add `:` after the
7280tag name, then insert your plain text following a space. Example:
7381
74−| Sail | HTML |
75−| ---------------- | -------------------------- |
76−| `;h1: The title` | `&lt;h1>The title&lt;/h1>` |
82+| Sail | HTML |
83+| ---------------- | -------------------- |
84+| `;h1: The title` | `<h1>The title</h1>` |
7785
7886### Nested
7987
@@ -81,41 +89,57 @@ To nest tags, simply create a new line. Nested tags need to be closed with `==`,
8189because they expect a list of sub-tags.
8290
8391If we nest lines of plain text with no tag, the text will be wrapped in a
84−`&lt;p>` tag. Additionally, any text with atom auras or `++arm:syntax` in such
85−plain text lines will be wrapped in `&lt;code>` tags.
92+`<p>` tag. Additionally, any text with atom auras or `++arm:syntax` in such
93+plain text lines will be wrapped in `<code>` tags.
8694
8795Example:
8896
89−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
90−<pre class="language-hoon">
91−;body
92− ;h1: Blog title
93− This is some good content.
94−==
95−</pre></td><td><pre>
96−&#x26;&#x6C;&#x74;&#x3B;body>
97− &#x26;&#x6C;&#x74;&#x3B;h1>Blog title&#x26;&#x6C;&#x74;&#x3B;/h1>
98− &#x26;&#x6C;&#x74;&#x3B;p>This is some good content.&#x26;&#x6C;&#x74;&#x3B;/p>
99−&#x26;&#x6C;&#x74;&#x3B;/body>
100−</pre></td></tr></tbody></table>
97+{% table %}
98+
99+- Sail
100+- HTML
101+
102+---
103+
104+- ```
105+ ;body
106+ ;h1: Blog title
107+ This is some good content.
108+ ==
109+ ```
110+- ```
111+ <body>
112+ <h1>Blog title</h1>
113+ <p>This is some good content.</p>
114+ </body>
115+ ```
116+ {% /table %}
101117
102118If we want to write a string with no tag at all, then we can prepend
103119those untagged lines with `;` and then a space:
104120
105−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
106−<pre class="language-hoon">
107−;body
108− ;h1: Welcome!
109− ; Hello, world!
110− ; We’re on the web.
111−==
112−</pre></td><td><pre>
113−&#x26;&#x6C;&#x74;&#x3B;body>
114− &#x26;&#x6C;&#x74;&#x3B;h1>Welcome!&#x26;&#x6C;&#x74;&#x3B;/h1>
115− Hello, world!
116− We’re on the web.
117−&#x26;&#x6C;&#x74;&#x3B;/body>
118−</pre></td></tr></tbody></table>
121+{% table %}
122+
123+- Sail
124+- HTML
125+
126+---
127+
128+- ```
129+ ;body
130+ ;h1: Welcome!
131+ ; Hello, world!
132+ ; We’re on the web.
133+ ==
134+ ```
135+- ```
136+ <body>
137+ <h1>Welcome!</h1>
138+ Hello, world!
139+ We’re on the web.
140+ </body>
141+ ```
142+ {% /table %}
119143
120144## Attributes
121145
@@ -129,78 +153,99 @@ shown below.
129153
130154### Generic
131155
132−<table><thead><tr><th>Form</th><th>Example</th></tr></thead><tbody>
133−<tr><td>Wide</td><td><pre class="language-hoon">
134−;div(title "a tooltip", style "color:red")
135− ;h1: Foo
136− foo bar baz
137−==
138−</pre></td></tr>
139−<tr><td>Tall</td><td><pre class="language-hoon">
140−;div
141− =title "a tooltip"
142− =style "color:red"
143− ;h1: Foo
144− foo bar baz
145−==
146−</pre></td></tr>
147−<tr><td>HTML</td><td><pre>
148−&#x26;&#x6C;&#x74;&#x3B;div title="a tooltip" style="color:red">
149− &#x26;&#x6C;&#x74;&#x3B;h1>Foo&#x26;&#x6C;&#x74;&#x3B;/h1>
150− &#x26;&#x6C;&#x74;&#x3B;p>foo bar baz &#x26;&#x6C;&#x74;&#x3B;/p>
151−&#x26;&#x6C;&#x74;&#x3B;/div>
152−</pre></td></tr></tbody></table>
156+{% table %}
157+
158+- Form
159+- Example
160+
161+---
162+
163+- Wide
164+- ```
165+ ;div(title "a tooltip", style "color:red")
166+ ;h1: Foo
167+ foo bar baz
168+ ==
169+ ```
170+ ***
171+- Tall
172+- ```
173+ ;div
174+ =title "a tooltip"
175+ =style "color:red"
176+ ;h1: Foo
177+ foo bar baz
178+ ==
179+ ```
180+ ***
181+- HTML
182+- ```
183+ <div title="a tooltip" style="color:red">
184+ <h1>Foo</h1>
185+ <p>foo bar baz </p>
186+ </div>
187+ ```
188+ {% /table %}
153189
154190### IDs
155191
156192Add `#` after tag name to add an ID:
157193
158−| Sail | HTML |
159−| ------------------- | ----------------------------------- |
160−| `;nav#header: Menu` | `&lt;nav id="header">Menu&lt;/nav>` |
194+| Sail | HTML |
195+| ------------------- | ----------------------------- |
196+| `;nav#header: Menu` | `<nav id="header">Menu</nav>` |
161197
162198### Classes
163199
164200Add `.` after tag name to add a class:
165201
166−| Sail | HTML |
167−| ---------------------- | ---------------------------------------- |
168−| `;h1.text-blue: Title` | `&lt;h1 class="text-blue">Title&lt;/h1>` |
202+| Sail | HTML |
203+| ---------------------- | ---------------------------------- |
204+| `;h1.text-blue: Title` | `<h1 class="text-blue">Title</h1>` |
169205
170206For class values containing spaces, you can add additional `.`s like so:
171207
172−| Sail | HTML |
173−| ------------------- | --------------------------------------- |
174−| `;div.foo.bar.baz;` | `&lt;div class="foo bar baz">&lt;/div>` |
208+| Sail | HTML |
209+| ------------------- | --------------------------------- |
210+| `;div.foo.bar.baz;` | `<div class="foo bar baz"></div>` |
175211
176212Otherwise, if your class value does not conform to the allowed `@tas`
177213characters, you must use the generic attribute syntax:
178214
179−| Sail | HTML |
180−| ------------------------ | ----------------------------------- |
181−| `;div(class "!!! !!!");` | `&lt;div class="!!! !!!">&lt;/div>` |
215+| Sail | HTML |
216+| ------------------------ | ----------------------------- |
217+| `;div(class "!!! !!!");` | `<div class="!!! !!!"></div>` |
182218
183219### Images
184220
185221Add `@` after the tag name to link your source:
186222
187−| Sail | HTML |
188−| --------------------- | ----------------------------- |
189−| `;img@"example.png";` | `&lt;img src="example.png"/>` |
223+| Sail | HTML |
224+| --------------------- | -------------------------- |
225+| `;img@"example.png";` | `<img src="example.png"/>` |
190226
191227To add attributes to the image, like size specifications, add the desired
192228attribute after the `"` of the image name and before the final `;` of the `img`
193−tag like ;img@"example.png"(width "100%");`.
229+tag like `;img@"example.png"(width "100%");`.
194230
195231### Links
196232
197233Add `/` after tag name to start an `href`.
198234
199−<table><tr><th>Sail</th></tr><tr><td><pre class="language-hoon">
200−;a/"urbit.org": A link to Urbit.org
201−</pre></td></tr><tr><th>HTML</th></tr><tr><td><pre>
202−&#x26;&#x6C;&#x74;&#x3B;a href="urbit.org">A link to Urbit.org&#x26;&#x6C;&#x74;&#x3B;/a>
203−</pre></td></tr></table>
235+{% table %}
236+
237+- Sail
238+- HTML
239+
240+---
241+
242+- ```
243+ ;a/"urbit.org": A link to Urbit.org
244+ ```
245+- ```
246+ <a href="urbit.org">A link to Urbit.org</a>
247+ ```
248+ {% /table %}
204249
205250## Interpolation
206251
@@ -208,29 +253,53 @@ The textual content of tags, despite not being enclosed in double-quotes, are
208253actually tapes. This means they support interpolated Hoon expressions in the
209254usual manner. For example:
210255
211−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
212−<pre class="language-hoon">
213−=| =time
214−;p: foo {&#x26;&#x6C;&#x74;&#x3B;time>} bar
215−</pre></td><td><pre>
216−&#x26;&#x6C;&#x74;&#x3B;p>foo ~2000.1.1 baz&#x26;&#x6C;&#x74;&#x3B;/p>
217−</pre></td></tr></tbody></table>
256+{% table %}
257+
258+- Sail
259+- HTML
260+
261+---
262+
263+- ```
264+ =| =time
265+ ;p: foo {<time>} bar
266+ ```
267+- ```
268+ <p>foo ~2000.1.1 baz</p>
269+ ```
270+ {% /table %}
218271
219272Likewise:
220273
221−<table><tr><th>Sail</th></tr><tr><td><pre class="language-hoon">
222−=/ txt=tape " bananas"
223−;article
224− ;b: {(a-co:co (mul 42 789))}
225− ; {txt}
226− {&#x26;&#x6C;&#x74;&#x3B;our>} {&#x26;&#x6C;&#x74;&#x3B;now>} {&#x26;&#x6C;&#x74;&#x3B;`@ux`(end 6 eny)>}
227−==
228−</pre></td></tr><tr><th>HTML</th></tr><tr><td><pre>
229−&#x26;&#x6C;&#x74;&#x3B;article>
230− &#x26;&#x6C;&#x74;&#x3B;b>33138&#x26;&#x6C;&#x74;&#x3B;/b> bananas
231− &#x26;&#x6C;&#x74;&#x3B;p>~zod ~2022.2.21..09.54.21..5b63 0x9827.99c7.06f4.8ef9&#x26;&#x6C;&#x74;&#x3B;/p>
232−&#x26;&#x6C;&#x74;&#x3B;/article>
233−</pre></td></tr></table>
274+{% table .w-full %}
275+
276+- Sail
277+
278+---
279+
280+- ```
281+ =/ txt=tape " bananas"
282+ ;article
283+ ;b: {(a-co:co (mul 42 789))}
284+ ; {txt}
285+ {<our>} {<now>} {<`@ux`(end 6 eny)>}
286+ ==
287+ ```
288+ {% /table %}
289+
290+{% table .w-full %}
291+
292+- HTML
293+
294+---
295+
296+- ```
297+ <article>
298+ <b>33138</b> bananas
299+ <p>~zod ~2022.2.21..09.54.21..5b63 0x9827.99c7.06f4.8ef9</p>
300+ </article>
301+ ```
302+ {% /table %}
234303
235304## A note on CSS
236305
@@ -316,7 +385,7 @@ elements, converting characters such as `>` to HTML entities. For example:
316385> =z ;p(class "\"><script src=\"example.com/xxx.js"): <h1>FOO</h1>
317386
318387> (crip (en-xml:html z))
319−'<p class="&quot;&gt;&lt;script src=&quot;example.com/xxx.js">&lt;h1&gt;FOO&lt;/h1&gt;</p>'
388+'<p class="&quot;&gt;<script src=&quot;example.com/xxx.js"><h1&gt;FOO</h1&gt;</p>'
320389```
321390
322391### Marks
@@ -338,7 +407,7 @@ the resulting `tape` through `++crip`.
338407- Type: `$manx`
339408
340409The `%hymn` mark is intended to be used for complete HTML documents - having an
341−`&lt;html>` root element, `&lt;head>`, `&lt;body>`, etc. This isn't enforced on
410+`<html>` root element, `<head>`, `<body>`, etc. This isn't enforced on
342411the type level but it is assumed in certain mark conversion pathways. Eyre can
343412automatically convert a `%hymn` to printed `%html` if it was requested through
344413Eyre's scry interface.
@@ -399,25 +468,33 @@ The [mictar rune](/docs/hoon/reference/rune/mic#-mictar) makes a `$marl` (a list
399468of XML nodes) from a complex hoon expression. This rune lets you add many
400469elements inside another Sail element. For example:
401470
402−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
403−<pre class="language-hoon">
404−=/ nums=(list @ud) (gulf 1 9)
405−;p
406− ;* %+ turn nums
407− |= n=@ud
408− ?: =(0 (mod n 2))
409− ;sup: {(a-co:co n)}
410− ;sub: {(a-co:co n)}
411−==
412−</pre></td><td><pre>
413−&#x26;&#x6C;&#x74;&#x3B;p>
414− &#x26;&#x6C;&#x74;&#x3B;sub>1&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>2&#x26;&#x6C;&#x74;&#x3B;/sup>
415− &#x26;&#x6C;&#x74;&#x3B;sub>3&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>4&#x26;&#x6C;&#x74;&#x3B;/sup>
416− &#x26;&#x6C;&#x74;&#x3B;sub>5&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>6&#x26;&#x6C;&#x74;&#x3B;/sup>
417− &#x26;&#x6C;&#x74;&#x3B;sub>7&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>8&#x26;&#x6C;&#x74;&#x3B;/sup>
418− &#x26;&#x6C;&#x74;&#x3B;sub>9&#x26;&#x6C;&#x74;&#x3B;/sub>
419−&#x26;&#x6C;&#x74;&#x3B;/p>
420−</pre></td></tr></tbody></table>
471+{% table %}
472+
473+- Sail
474+- HTML
475+
476+---
477+
478+- ```
479+ =/ nums=(list @ud) (gulf 1 9)
480+ ;p
481+ ;* %+ turn nums
482+ |= n=@ud
483+ ?: =(0 (mod n 2))
484+ ;sup: {(a-co:co n)}
485+ ;sub: {(a-co:co n)}
486+ ==
487+ ```
488+- ```
489+ <p>
490+ <sub>1</sub><sup>2</sup>
491+ <sub>3</sub><sup>4</sup>
492+ <sub>5</sub><sup>6</sup>
493+ <sub>7</sub><sup>8</sup>
494+ <sub>9</sub>
495+ </p>
496+ ```
497+ {% /table %}
421498
422499### `;=` Mictis
423500
@@ -426,23 +503,31 @@ of XML nodes) from a series of `$manx`es. This is mostly useful if you want to
426503make the list outside of an element and then be able to insert it afterwards.
427504For example:
428505
429−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
430−<pre class="language-hoon">
431−=/ paras=marl
432− ;= ;p: First node.
433− ;p: Second node.
434− ;p: Third node.
506+{% table %}
507+
508+- Sail
509+- HTML
510+
511+---
512+
513+- ```
514+ =/ paras=marl
515+ ;= ;p: First node.
516+ ;p: Second node.
517+ ;p: Third node.
518+ ==
519+ ;main
520+ ;* paras
435521 ==
436−;main
437− ;* paras
438−==
439−</pre></td><td><pre>
440−&#x26;&#x6C;&#x74;&#x3B;main>
441− &#x26;&#x6C;&#x74;&#x3B;p>First node.&#x26;&#x6C;&#x74;&#x3B;/p>
442− &#x26;&#x6C;&#x74;&#x3B;p>Second node.&#x26;&#x6C;&#x74;&#x3B;/p>
443− &#x26;&#x6C;&#x74;&#x3B;p>Third node.&#x26;&#x6C;&#x74;&#x3B;/p>
444−&#x26;&#x6C;&#x74;&#x3B;/main>
445−</pre></td></tr></tbody></table>
522+ ```
523+- ```
524+ <main>
525+ <p>First node.</p>
526+ <p>Second node.</p>
527+ <p>Third node.</p>
528+ </main>
529+ ```
530+ {% /table %}
446531
447532### `;/` Micfas
448533
content/docs/hoon/overview.md+1−1
@@ -125,7 +125,7 @@ Hoon and Nock have several unusual properties:
125125 converted to each other. Lisp dialects are also homoiconic, but Hoon
126126 and Nock are arguably even more so, since things like closures and the
127127 environment are just Nock trees. We even have a statically typed
128− metacircular interpreter called <code>+mule</code>. We run userspace code
128+ metacircular interpreter called `+mule`. We run userspace code
129129 metacircularly with negligible performance overhead because of Urbit's
130130 jet system. In Lisp "eval is evil" is a common saying but, in Urbit,
131131 eval is a first-class feature.
content/docs/hoon/reference/rune/bar.md+267−257
@@ -21,30 +21,31 @@ Declares a mold builder wet gate with one or more molds as its sample.
2121
2222Two arguments, fixed.
2323
24−<table>
25−<tr><th>Form</th><th>Syntax</th></tr>
26−<tr>
27−<td>Tall</td>
28−<td>
29−<pre>
30−|$ sample
31−body
32−</pre>
33−</td>
34−</tr>
35−<tr>
36−<td>Wide</td>
37−<td>
38−<pre>
39−|$(sample body)
40−</pre>
41−</td>
42−</tr>
43−<tr>
44−<td>Irregular</td>
45−<td>None.</td>
46−</tr>
47−</table>
24+{% table %}
25+
26+- Form
27+- Syntax
28+
29+---
30+
31+- Tall
32+- ```hoon
33+ |$ sample
34+ body
35+ ```
36+
37+---
38+
39+- Wide
40+- ```hoon
41+ |$(sample body)
42+ ```
43+
44+---
45+
46+- Irregular
47+- None.
48+ {% /table %}
4849
4950#### AST
5051
@@ -118,24 +119,31 @@ Produce a **door** (a core with a sample).
118119
119120One fixed argument, then a variable number of `+`-family expressions.
120121
121−<table>
122−<tr><th>Form</th><th>Syntax</th></tr>
123−<tr>
124−<td>Tall</td>
125−<td>
126−<pre>
127−|_ a=spec
128−++ b=term c=hoon
129−++ d=term e=hoon
122+{% table %}
123+
124+- Form
125+- Syntax
126+
127+---
128+
129+- Tall
130+- ```hoon
131+ |_ a=spec
132+ ++ b=term c=hoon
133+ ++ d=term e=hoon
130134 ...
131−++ f=term g=hoon
132−--
133−</pre>
134−</td>
135−</tr>
136−<tr><td>Wide</td><td>None.</td></tr>
137−<tr><td>Irregular</td><td>None.</td></tr>
138−</table>
135+ ++ f=term g=hoon
136+ --
137+ ```
138+ ***
139+- Wide
140+- None.
141+
142+---
143+
144+- Irregular
145+- None.
146+ {% /table %}
139147
140148Note: The `++` rune may be replaced with any other rune in the `+` family.
141149
@@ -232,30 +240,27 @@ Produce a gate with a custom sample.
232240
233241Two arguments, fixed.
234242
235−<table>
236−<tr><th>Form</th><th>Syntax</th></tr>
237−<tr>
238−<td>Tall</td>
239−<td>
240−<pre>
241−|: a
242−b
243−</pre>
244−</td>
245−</tr>
246−<tr>
247−<td>Wide</td>
248−<td>
249−<pre>
250−|:(a b)
251−</pre>
252−</td>
253−</tr>
254−<tr>
255−<td>Irregular</td>
256−<td>None.</td>
257−</tr>
258−</table>
243+{% table %}
244+
245+- Form
246+- Syntax
247+
248+---
249+
250+- Tall
251+- ```hoon
252+ |: a
253+ b
254+ ```
255+ ***
256+- Wide
257+- ```hoon
258+ |:(a b)
259+ ```
260+ ***
261+- Irregular
262+- None.
263+ {% /table %}
259264
260265#### AST
261266
@@ -303,24 +308,31 @@ Produce a core, `[battery payload]`.
303308
304309Argument: a variable number of `+`-family expressions.
305310
306−<table>
307−<tr><th>Form</th><th>Syntax</th></tr>
308−<tr>
309−<td>Tall</td>
310−<td>
311−<pre>
312−|%
313−++ a=term b=hoon
314−++ c=term d=hoon
311+{% table %}
312+
313+- Form
314+- Syntax
315+
316+---
317+
318+- Tall
319+- ```hoon
320+ |%
321+ ++ a=term b=hoon
322+ ++ c=term d=hoon
315323 ...
316−++ e=term f=hoon
317−--
318−</pre>
319−</td>
320−</tr>
321−<tr><td>Wide</td><td>None.</td></tr>
322−<tr><td>Irregular</td><td>None.</td></tr>
323−</table>
324+ ++ e=term f=hoon
325+ --
326+ ```
327+ ***
328+- Wide
329+- None.
330+
331+---
332+
333+- Irregular
334+- None.
335+ {% /table %}
324336
325337Note: The `++` rune may be replaced with any other rune in the `+` family.
326338
@@ -387,29 +399,26 @@ Produce a trap (a core with one arm `$`).
387399
388400One argument, fixed.
389401
390−<table>
391−<tr><th>Form</th><th>Syntax</th></tr>
392−<tr>
393−<td>Tall</td>
394−<td>
395−<pre>
396−|. a
397−</pre>
398−</td>
399−</tr>
400−<tr>
401−<td>Wide</td>
402−<td>
403−<pre>
404−|.(a)
405−</pre>
406−</td>
407−</tr>
408−<tr>
409−<td>Irregular</td>
410−<td>None.</td>
411−</tr>
412−</table>
402+{% table %}
403+
404+- Form
405+- Syntax
406+
407+---
408+
409+- Tall
410+- ```hoon
411+ |. a
412+ ```
413+ ***
414+- Wide
415+- ```hoon
416+ |.(a)
417+ ```
418+ ***
419+- Irregular
420+- None.
421+ {% /table %}
413422
414423#### AST
415424
@@ -480,25 +489,34 @@ Produce a core whose battery includes a `$` arm and compute the latter.
480489
481490One fixed argument, then a variable number of `+`-family expressions.
482491
483−<table>
484−<tr><th>Form</th><th>Syntax</th></tr>
485−<tr>
486−<td>Tall</td>
487−<td>
488−<pre>
489−|^ a=hoon
490−++ b=term c=hoon
491−++ d=term e=hoon
492+{% table %}
493+
494+- Form
495+- Syntax
496+
497+---
498+
499+- Tall
500+- ```hoon
501+ |^ a=hoon
502+ ++ b=term c=hoon
503+ ++ d=term e=hoon
492504 ...
493−++ f=term g=hoon
494−--
495−</pre>
496−</td>
497−</tr>
498−<tr>
499−<td>Wide</td><td>None.</td></tr>
500−<tr><td>Irregular</td><td>None.</td></tr>
501−</table>
505+ ++ f=term g=hoon
506+ --
507+ ```
508+ ***
509+- Wide
510+- None.
511+
512+---
513+
514+- Irregular
515+- None.
516+
517+---
518+
519+{% /table %}
502520
503521#### AST
504522
@@ -555,29 +573,26 @@ Produce a trap (a core with one arm `$`) and evaluate it.
555573
556574One argument, fixed.
557575
558−<table>
559−<tr><th>Form</th><th>Syntax</th></tr>
560−<tr>
561−<td>Tall</td>
562−<td>
563−<pre>
564−|- a
565−</pre>
566−</td>
567−</tr>
568−<tr>
569−<td>Wide</td>
570−<td>
571−<pre>
572−|-(a)
573−</pre>
574−</td>
575−</tr>
576−<tr>
577−<td>Irregular</td>
578−<td>None.</td>
579−</tr>
580−</table>
576+{% table %}
577+
578+- Form
579+- Syntax
580+
581+---
582+
583+- Tall
584+- ```hoon
585+ |- a
586+ ```
587+ ***
588+- Wide
589+- ```hoon
590+ |-(a)
591+ ```
592+ ***
593+- Irregular
594+- None.
595+ {% /table %}
581596
582597#### AST
583598
@@ -637,30 +652,27 @@ Produce an iron gate.
637652
638653Two arguments, fixed.
639654
640−<table>
641−<tr><th>Form</th><th>Syntax</th></tr>
642−<tr>
643−<td>Tall</td>
644−<td>
645−<pre>
646−|~ a
647−b
648−</pre>
649−</td>
650−</tr>
651−<tr>
652−<td>Wide</td>
653−<td>
654−<pre>
655−|~(a b)
656−</pre>
657−</td>
658−</tr>
659−<tr>
660−<td>Irregular</td>
661−<td>None.</td>
662−</tr>
663−</table>
655+{% table %}
656+
657+- Form
658+- Syntax
659+
660+---
661+
662+- Tall
663+- ```hoon
664+ |~ a
665+ b
666+ ```
667+ ***
668+- Wide
669+- ```hoon
670+ |~(a b)
671+ ```
672+ ***
673+- Irregular
674+- None.
675+ {% /table %}
664676
665677#### AST
666678
@@ -700,29 +712,26 @@ Produce a wet gate (one-armed core with sample).
700712
701713Two arguments, fixed.
702714
703−<table>
704−<tr><th>Form</th><th>Syntax</th></tr>
705−<tr>
706−<td>Tall</td>
707−<td>
708−<pre>
709−|* a b
710−</pre>
711−</td>
712−</tr>
713−<tr>
714−<td>Wide</td>
715−<td>
716−<pre>
717−|*(a b)
718−</pre>
719−</td>
720−</tr>
721−<tr>
722−<td>Irregular</td>
723−<td>None.</td>
724−</tr>
725−</table>
715+{% table %}
716+
717+- Form
718+- Syntax
719+
720+---
721+
722+- Tall
723+- ```hoon
724+ |* a b
725+ ```
726+ ***
727+- Wide
728+- ```hoon
729+ |*(a b)
730+ ```
731+ ***
732+- Irregular
733+- None.
734+ {% /table %}
726735
727736#### AST
728737
@@ -792,30 +801,27 @@ Produce a gate (a one-armed core with a sample).
792801
793802Two arguments, fixed.
794803
795−<table>
796−<tr><th>Form</th><th>Syntax</th></tr>
797−<tr>
798−<td>Tall</td>
799−<td>
800−<pre>
801−|= a
802−b
803−</pre>
804−</td>
805−</tr>
806−<tr>
807−<td>Wide</td>
808−<td>
809−<pre>
810−|=(a b)
811−</pre>
812−</td>
813−</tr>
814−<tr>
815−<td>Irregular</td>
816−<td>None.</td>
817−</tr>
818−</table>
804+{% table %}
805+
806+- Form
807+- Syntax
808+
809+---
810+
811+- Tall
812+- ```hoon
813+ |= a
814+ b
815+ ```
816+ ***
817+- Wide
818+- ```hoon
819+ |=(a b)
820+ ```
821+ ***
822+- Irregular
823+- None.
824+ {% /table %}
819825
820826#### AST
821827
@@ -878,24 +884,31 @@ Produce a 'wet' core `[battery payload]`.
878884
879885Arguments: a variable number of `+`-family expressions.
880886
881−<table>
882−<tr><th>Form</th><th>Syntax</th></tr>
883−<tr>
884−<td>Tall</td>
885−<td>
886−<pre>
887−|@
888−++ a=term b=hoon
889−++ c=term d=hoon
887+{% table %}
888+
889+- Form
890+- Syntax
891+
892+---
893+
894+- Tall
895+- ```hoon
896+ |@
897+ ++ a=term b=hoon
898+ ++ c=term d=hoon
890899 ...
891−++ e=term f=hoon
892−--
893−</pre>
894−</td>
895−</tr>
896−<tr><td>Wide</td><td>None.</td></tr>
897−<tr><td>Irregular</td><td>None.</td></tr>
898−</table>
900+ ++ e=term f=hoon
901+ --
902+ ```
903+ ***
904+- Wide
905+- None.
906+
907+---
908+
909+- Irregular
910+- None.
911+ {% /table %}
899912
900913Note: The `++` rune may be replaced with any other rune in the `+` family.
901914
@@ -928,29 +941,26 @@ Produce a lead trap.
928941
929942One argument, fixed.
930943
931−<table>
932−<tr><th>Form</th><th>Syntax</th></tr>
933−<tr>
934−<td>Tall</td>
935−<td>
936−<pre>
937−|? a
938−</pre>
939−</td>
940−</tr>
941−<tr>
942−<td>Wide</td>
943−<td>
944−<pre>
945−|?(a)
946−</pre>
947−</td>
948−</tr>
949−<tr>
950−<td>Irregular</td>
951−<td>None.</td>
952−</tr>
953−</table>
944+{% table %}
945+
946+- Form
947+- Syntax
948+
949+---
950+
951+- Tall
952+- ```hoon
953+ |? a
954+ ```
955+ ***
956+- Wide
957+- ```hoon
958+ |?(a)
959+ ```
960+ ***
961+- Irregular
962+- None.
963+ {% /table %}
954964
955965#### AST
956966
content/docs/hoon/reference/rune/buc.md+294−317
@@ -56,27 +56,27 @@ Structure that satisfies a validator.
5656
5757Two arguments, fixed.
5858
59−<table>
60−<tr><th>Form</th><th>Syntax</th></tr>
61−<tr>
62−<td>Tall</td>
63−<td>
64−<pre>
65−$| p
66−q
67−</pre>
68−</td>
69−</tr>
70−<tr>
71−<td>Wide</td>
72−<td>
73−<pre>
74−$|(p q)
75−</pre>
76−</td>
77−</tr>
78−<tr><td>Irregular</td><td>None.</td></tr>
79−</table>
59+{% table %}
60+
61+- Form
62+- Syntax
63+
64+---
65+
66+- Tall
67+- ```hoon
68+ $| p
69+ q
70+ ```
71+ ***
72+- Wide
73+- ```hoon
74+ $|(p q)
75+ ```
76+ ***
77+- Irregular
78+- None.
79+ {% /table %}
8080
8181#### AST
8282
@@ -160,33 +160,28 @@ Structure that normalizes to an example.
160160
161161One argument, fixed.
162162
163−<table>
164−<tr><th>Form</th><th>Syntax</th></tr>
165−<tr>
166−<td>Tall</td>
167−<td>
168−<pre>
169−$_ p
170−</pre>
171−</td>
172−</tr>
173−<tr>
174−<td>Wide</td>
175−<td>
176−<pre>
177−$_(p)
178−</pre>
179−</td>
180−</tr>
181−<tr>
182−<td>Irregular</td>
183−<td>
184−<pre>
185−_p
186−</pre>
187−</td>
188−</tr>
189−</table>
163+{% table %}
164+
165+- Form
166+- Syntax
167+
168+---
169+
170+- Tall
171+- ```hoon
172+ $_ p
173+ ```
174+ ***
175+- Wide
176+- ```hoon
177+ $_(p)
178+ ```
179+ ***
180+- Irregular
181+- ```
182+ _p
183+ ```
184+ {% /table %}
190185
191186#### AST
192187
@@ -230,30 +225,30 @@ Structure which recognizes a union tagged by head atom.
230225
231226A variable number of arguments.
232227
233−<table>
234−<tr><th>Form</th><th>Syntax</th></tr>
235−<tr>
236−<td>Tall</td>
237−<td>
238−<pre>
239−$% [%p1 ...]
240− [%p2 ...]
241− [%p3 ...]
242− [%pn ...]
243−==
244−</pre>
245−</td>
246−</tr>
247−<tr>
248−<td>Wide</td>
249−<td>
250−<pre>
251−$%([%p1 ...] [%p2 ...] [%p3 ...] [%pn ...])
252−</pre>
253−</td>
254−</tr>
255−<tr><td>Irregular</td><td>None.</td></tr>
256−</table>
228+{% table %}
229+
230+- Form
231+- Syntax
232+
233+---
234+
235+- Tall
236+- ```hoon
237+ $% [%p1 ...]
238+ [%p2 ...]
239+ [%p3 ...]
240+ [%pn ...]
241+ ==
242+ ```
243+ ***
244+- Wide
245+- ```hoon
246+ $%([%p1 ...] [%p2 ...] [%p3 ...] [%pn ...])
247+ ```
248+ ***
249+- Irregular
250+- None.
251+ {% /table %}
257252
258253Each item may be an atom or (more commonly) a cell. The atom or head of the cell
259254_must_ be a constant (`%foo`, `%1`, `%.y`, etc).
@@ -301,45 +296,37 @@ Form a cell type.
301296
302297A variable number of arguments.
303298
304−<table>
305−<tr><th>Form</th><th>Syntax</th></tr>
306−<tr>
307−<td>Tall</td>
308−<td>
309−<pre>
310−$: p1
311− p2
312− p3
313− pn
314−==
315−</pre>
316−</td>
317−</tr>
318−<tr>
319−<td>Wide</td>
320−<td>
321−<pre>
322−$:(p1 p2 p3 pn)
323−</pre>
324−</td>
325−</tr>
326−<tr>
327−<td>Irregular (noun mode)</td>
328−<td>
329−<pre>
330−,[p1 p2 p3 pn]
331−</pre>
332−</td>
333−</tr>
334−<tr>
335−<td>Irregular (structure mode)</td>
336−<td>
337−<pre>
338−[p1 p2 p3 pn]
339−</pre>
340−</td>
341−</tr>
342−</table>
299+{% table %}
300+
301+- Form
302+- Syntax
303+
304+---
305+
306+- Tall
307+- ```hoon
308+ $: p1
309+ p2
310+ p3
311+ pn
312+ ==
313+ ```
314+ ***
315+- Wide
316+- ```hoon
317+ $:(p1 p2 p3 pn)
318+ ```
319+ ***
320+- Irregular (noun mode)
321+- ```hoon
322+ ,[p1 p2 p3 pn]
323+ ```
324+ ***
325+- Irregular (structure mode)
326+- ```hoon
327+ [p1 p2 p3 pn]
328+ ```
329+ {% /table %}
343330
344331#### AST
345332
@@ -381,27 +368,27 @@ structure.
381368
382369Two arguments, fixed.
383370
384−<table>
385−<tr><th>Form</th><th>Syntax</th></tr>
386−<tr>
387−<td>Tall</td>
388−<td>
389−<pre>
390−$< p
391−q
392−</pre>
393−</td>
394−</tr>
395−<tr>
396−<td>Wide</td>
397−<td>
398−<pre>
399−$<(p q)
400−</pre>
401−</td>
402−</tr>
403−<tr><td>Irregular</td><td>None.</td></tr>
404−</table>
371+{% table %}
372+
373+- Form
374+- Syntax
375+
376+---
377+
378+- Tall
379+- ```hoon
380+ $< p
381+ q
382+ ```
383+ ***
384+- Wide
385+- ```hoon
386+ $<(p q)
387+ ```
388+ ***
389+- Irregular
390+- None.
391+ {% /table %}
405392
406393#### AST
407394
@@ -444,27 +431,27 @@ Filters a mold to obtain a new mold matching a particular structure.
444431
445432Two arguments, fixed.
446433
447−<table>
448−<tr><th>Form</th><th>Syntax</th></tr>
449−<tr>
450−<td>Tall</td>
451−<td>
452−<pre>
453−$> p
454−q
455−</pre>
456−</td>
457−</tr>
458−<tr>
459−<td>Wide</td>
460−<td>
461−<pre>
462−$>(p q)
463−</pre>
464−</td>
465−</tr>
466−<tr><td>Irregular</td><td>None.</td></tr>
467−</table>
434+{% table %}
435+
436+- Form
437+- Syntax
438+
439+---
440+
441+- Tall
442+- ```hoon
443+ $> p
444+ q
445+ ```
446+ ***
447+- Wide
448+- ```hoon
449+ $>(p q)
450+ ```
451+ ***
452+- Irregular
453+- None.
454+ {% /table %}
468455
469456#### AST
470457
@@ -532,27 +519,27 @@ $_ ^|
532519
533520Two arguments, fixed.
534521
535−<table>
536−<tr><th>Form</th><th>Syntax</th></tr>
537−<tr>
538−<td>Tall</td>
539−<td>
540−<pre>
541−$- p
542−q
543−</pre>
544−</td>
545−</tr>
546−<tr>
547−<td>Wide</td>
548−<td>
549−<pre>
550−$-(p q)
551−</pre>
552−</td>
553−</tr>
554−<tr><td>Irregular</td><td>None.</td></tr>
555−</table>
522+{% table %}
523+
524+- Form
525+- Syntax
526+
527+---
528+
529+- Tall
530+- ```hoon
531+ $- p
532+ q
533+ ```
534+ ***
535+- Wide
536+- ```hoon
537+ $-(p q)
538+ ```
539+ ***
540+- Irregular
541+- None.
542+ {% /table %}
556543
557544`p` is the type the gate takes and `q` is the type the gate produces.
558545
@@ -579,27 +566,27 @@ Structure which normalizes a union tagged by head depth (cell).
579566
580567Two arguments, fixed.
581568
582−<table>
583−<tr><th>Form</th><th>Syntax</th></tr>
584−<tr>
585−<td>Tall</td>
586−<td>
587−<pre>
588−$^ p
589−q
590−</pre>
591−</td>
592−</tr>
593−<tr>
594−<td>Wide</td>
595−<td>
596−<pre>
597−$^(p q)
598−</pre>
599−</td>
600−</tr>
601−<tr><td>Irregular</td><td>None.</td></tr>
602−</table>
569+{% table %}
570+
571+- Form
572+- Syntax
573+
574+---
575+
576+- Tall
577+- ```hoon
578+ $^ p
579+ q
580+ ```
581+ ***
582+- Wide
583+- ```hoon
584+ $^(p q)
585+ ```
586+ ***
587+- Irregular
588+- None.
589+ {% /table %}
603590
604591#### AST
605592
@@ -643,27 +630,27 @@ Repair a value of a tagged union type.
643630
644631Two arguments, fixed.
645632
646−<table>
647−<tr><th>Form</th><th>Syntax</th></tr>
648−<tr>
649−<td>Tall</td>
650−<td>
651−<pre>
652−$& p
653−q
654−</pre>
655−</td>
656−</tr>
657−<tr>
658−<td>Wide</td>
659−<td>
660−<pre>
661−$&(p q)
662−</pre>
663−</td>
664−</tr>
665−<tr><td>Irregular</td><td>None.</td></tr>
666−</table>
633+{% table %}
634+
635+- Form
636+- Syntax
637+
638+---
639+
640+- Tall
641+- ```hoon
642+ $& p
643+ q
644+ ```
645+ ***
646+- Wide
647+- ```hoon
648+ $&(p q)
649+ ```
650+ ***
651+- Irregular
652+- None.
653+ {% /table %}
667654
668655```hoon
669656$&(combined-mold=spec normalizing-gate=hoon)
@@ -715,27 +702,27 @@ Define a custom type default value.
715702
716703Two arguments, fixed.
717704
718−<table>
719−<tr><th>Form</th><th>Syntax</th></tr>
720−<tr>
721−<td>Tall</td>
722−<td>
723−<pre>
724−$~ p
725−q
726−</pre>
727−</td>
728−</tr>
729−<tr>
730−<td>Wide</td>
731−<td>
732−<pre>
733−$~(p q)
734−</pre>
735−</td>
736−</tr>
737−<tr><td>Irregular</td><td>None.</td></tr>
738−</table>
705+{% table %}
706+
707+- Form
708+- Syntax
709+
710+---
711+
712+- Tall
713+- ```hoon
714+ $~ p
715+ q
716+ ```
717+ ***
718+- Wide
719+- ```hoon
720+ $~(p q)
721+ ```
722+ ***
723+- Irregular
724+- None.
725+ {% /table %}
739726
740727`p` defines the default value, and `q` defines everything else about the
741728structure.
@@ -809,27 +796,27 @@ Structure which normalizes a union tagged by head depth (atom).
809796
810797Two arguments, fixed.
811798
812−<table>
813−<tr><th>Form</th><th>Syntax</th></tr>
814−<tr>
815−<td>Tall</td>
816−<td>
817−<pre>
818−$@ p
819−q
820−</pre>
821−</td>
822−</tr>
823−<tr>
824−<td>Wide</td>
825−<td>
826−<pre>
827−$@(p q)
828−</pre>
829−</td>
830−</tr>
831−<tr><td>Irregular</td><td>None.</td></tr>
832−</table>
799+{% table %}
800+
801+- Form
802+- Syntax
803+
804+---
805+
806+- Tall
807+- ```hoon
808+ $@ p
809+ q
810+ ```
811+ ***
812+- Wide
813+- ```hoon
814+ $@(p q)
815+ ```
816+ ***
817+- Irregular
818+- None.
819+ {% /table %}
833820
834821#### AST
835822
@@ -875,34 +862,29 @@ Structure which wraps a face around another structure.
875862
876863Two arguments, fixed.
877864
878−<table>
879−<tr><th>Form</th><th>Syntax</th></tr>
880−<tr>
881−<td>Tall</td>
882−<td>
883−<pre>
884−$= p
885−q
886−</pre>
887−</td>
888−</tr>
889−<tr>
890−<td>Wide</td>
891−<td>
892−<pre>
893−$=(p q)
894−</pre>
895−</td>
896−</tr>
897−<tr>
898−<td>Irregular</td>
899−<td>
900−<pre>
901−p=q
902−</pre>
903−</td>
904−</tr>
905−</table>
865+{% table %}
866+
867+- Form
868+- Syntax
869+
870+---
871+
872+- Tall
873+- ```hoon
874+ $= p
875+ q
876+ ```
877+ ***
878+- Wide
879+- ```hoon
880+ $=(p q)
881+ ```
882+ ***
883+- Irregular
884+- ```
885+ p=q
886+ ```
887+ {% /table %}
906888
907889#### AST
908890
@@ -945,37 +927,32 @@ Form a type from a union of other types.
945927
946928Variable number of arguments.
947929
948−<table>
949−<tr><th>Form</th><th>Syntax</th></tr>
950−<tr>
951−<td>Tall</td>
952−<td>
953−<pre>
954−$? p1
955− p2
956− p3
957− pn
958−==
959−</pre>
960−</td>
961−</tr>
962−<tr>
963−<td>Wide</td>
964−<td>
965−<pre>
966−$?(p1 p2 p3 pn)
967−</pre>
968−</td>
969−</tr>
970−<tr>
971−<td>Irregular</td>
972−<td>
973−<pre>
974−?(p1 p2 p3 pn)
975−</pre>
976−</td>
977−</tr>
978−</table>
930+{% table %}
931+
932+- Form
933+- Syntax
934+
935+---
936+
937+- Tall
938+- ```hoon
939+ $? p1
940+ p2
941+ p3
942+ pn
943+ ==
944+ ```
945+ ***
946+- Wide
947+- ```hoon
948+ $?(p1 p2 p3 pn)
949+ ```
950+ ***
951+- Irregular
952+- ```hoon
953+ ?(p1 p2 p3 pn)
954+ ```
955+ {% /table %}
979956
980957#### AST
981958
content/docs/hoon/reference/rune/cen.md+260−305
@@ -20,50 +20,44 @@ Resolve a wing with changes, preserving type.
2020
2121One fixed argument, then a variable number of pairs.
2222
23−<table>
24−<tr><th>Form</th><th>Syntax</th></tr>
25−<tr>
26−<td>Tall style #1</td>
27−<td>
28−<pre>
29−%_ a=wing
30− b=wing c=hoon
31− d=wing e=hoon
32− f=wing g=hoon
33−==
34−</pre>
35−</td>
36−</tr>
37−<tr>
38−<td>Tall style #2</td>
39−<td>
40−<pre>
41−%_ a=wing
42− b=wing
43− c=hoon
44−::
45− d=wing
46− e=hoon
47−::
48− f=wing
49− g=hoon
50−==
51−</pre>
52−</td>
53−</tr>
54−<tr>
55−<td>Wide</td>
56−<td>
57−<pre>
58−%_(a=wing b=wing c=hoon, d=wing e=hoon, ...)
59−</pre>
60−</td>
61−</tr>
62−<tr>
63−<td>Irregular</td>
64−<td>None.</td>
65−</tr>
66−</table>
23+{% table %}
24+
25+- Form
26+- Syntax
27+
28+---
29+
30+- Tall style #1
31+- ```hoon
32+ %_ a=wing
33+ b=wing c=hoon
34+ d=wing e=hoon
35+ f=wing g=hoon
36+ ==
37+ ```
38+ ***
39+- Tall style #2
40+- ```hoon
41+ %_ a=wing
42+ b=wing
43+ c=hoon
44+ ::
45+ d=wing
46+ e=hoon
47+ ::
48+ f=wing
49+ g=hoon
50+ ==
51+ ```
52+ ***
53+- Wide
54+- ```hoon
55+ %_(a=wing b=wing c=hoon, d=wing e=hoon, ...)
56+ ```
57+ ***
58+- Irregular
59+- None.
60+ {% /table %}
6761
6862#### AST
6963
@@ -119,38 +113,33 @@ Call a gate with many arguments.
119113
120114One fixed argument, then a variable number of arguments.
121115
122−<table>
123−<tr><th>Form</th><th>Syntax</th></tr>
124−<tr>
125−<td>Tall</td>
126−<td>
127−<pre>
128−%: a=hoon
129− b=hoon
130− c=hoon
131− ...
132− d=hoon
133−==
134−</pre>
135−</td>
136−</tr>
137−<tr>
138−<td>Wide</td>
139−<td>
140−<pre>
141−%:(a b c d)
142−</pre>
143−</td>
144−</tr>
145−<tr>
146−<td>Irregular</td>
147−<td>
148−<pre>
149−(a b c d)
150−</pre>
151−</td>
152−</tr>
153−</table>
116+{% table %}
117+
118+- Form
119+- Syntax
120+
121+---
122+
123+- Tall
124+- ```hoon
125+ %: a=hoon
126+ b=hoon
127+ c=hoon
128+ ...
129+ d=hoon
130+ ==
131+ ```
132+ ***
133+- Wide
134+- ```hoon
135+ %:(a b c d)
136+ ```
137+ ***
138+- Irregular
139+- ```hoon
140+ (a b c d)
141+ ```
142+ {% /table %}
154143
155144#### AST
156145
@@ -206,29 +195,26 @@ Call a gate (function), inverted.
206195
207196Two arguments, fixed.
208197
209−<table>
210−<tr><th>Form</th><th>Syntax</th></tr>
211−<tr>
212−<td>Tall</td>
213−<td>
214−<pre>
215−%. a b
216−</pre>
217−</td>
218−</tr>
219−<tr>
220−<td>Wide</td>
221−<td>
222−<pre>
223−%.(a b)
224−</pre>
225−</td>
226−</tr>
227−<tr>
228−<td>Irregular</td>
229−<td>None.</td>
230−</tr>
231−</table>
198+{% table %}
199+
200+- Form
201+- Syntax
202+
203+---
204+
205+- Tall
206+- ```hoon
207+ %. a b
208+ ```
209+ ***
210+- Wide
211+- ```hoon
212+ %.(a b)
213+ ```
214+ ***
215+- Irregular
216+- None.
217+ {% /table %}
232218
233219#### AST
234220
@@ -269,34 +255,29 @@ Call a gate (function).
269255
270256#### Syntax
271257
272−<table>
273−<tr><th>Form</th><th>Syntax</th></tr>
274−<tr>
275−<td>Tall</td>
276−<td>
277−<pre>
278−%- a
279−b
280−</pre>
281−</td>
282−</tr>
283−<tr>
284−<td>Wide</td>
285−<td>
286−<pre>
287−%-(a b)
288−</pre>
289−</td>
290−</tr>
291−<tr>
292−<td>Irregular</td>
293−<td>
294−<pre>
295−(a b)
296−</pre>
297−</td>
298−</tr>
299−</table>
258+{% table %}
259+
260+- Form
261+- Syntax
262+
263+---
264+
265+- Tall
266+- ```hoon
267+ %- a
268+ b
269+ ```
270+ ***
271+- Wide
272+- ```hoon
273+ %-(a b)
274+ ```
275+ ***
276+- Irregular
277+- ```hoon
278+ (a b)
279+ ```
280+ {% /table %}
300281
301282#### AST
302283
@@ -345,36 +326,31 @@ Call gate with triple sample.
345326
346327Four arguments, fixed.
347328
348−<table>
349−<tr><th>Form</th><th>Syntax</th></tr>
350−<tr>
351−<td>Tall</td>
352−<td>
353−<pre>
354−%^ a
355− b
356− c
357−d
358−</pre>
359−</td>
360−</tr>
361−<tr>
362−<td>Wide</td>
363−<td>
364−<pre>
365−%^(a b c d)
366−</pre>
367−</td>
368−</tr>
369−<tr>
370−<td>Irregular</td>
371−<td>
372−<pre>
373−(a b c d)
374−</pre>
375−</td>
376−</tr>
377−</table>
329+{% table %}
330+
331+- Form
332+- Syntax
333+
334+---
335+
336+- Tall
337+- ```hoon
338+ %^ a
339+ b
340+ c
341+ d
342+ ```
343+ ***
344+- Wide
345+- ```hoon
346+ %^(a b c d)
347+ ```
348+ ***
349+- Irregular
350+- ```hoon
351+ (a b c d)
352+ ```
353+ {% /table %}
378354
379355#### AST
380356
@@ -407,35 +383,30 @@ Call gate with a cell sample.
407383
408384Three arguments, fixed.
409385
410−<table>
411−<tr><th>Form</th><th>Syntax</th></tr>
412−<tr>
413−<td>Tall</td>
414−<td>
415−<pre>
416−%+ a
417− b
418−c
419−</pre>
420−</td>
421−</tr>
422−<tr>
423−<td>Wide</td>
424−<td>
425−<pre>
426−%+(a b c)
427−</pre>
428−</td>
429−</tr>
430−<tr>
431−<td>Irregular</td>
432−<td>
433−<pre>
434−(a b c)
435−</pre>
436−</td>
437−</tr>
438−</table>
386+{% table %}
387+
388+- Form
389+- Syntax
390+
391+---
392+
393+- Tall
394+- ```hoon
395+ %+ a
396+ b
397+ c
398+ ```
399+ ***
400+- Wide
401+- ```hoon
402+ %+(a b c)
403+ ```
404+ ***
405+- Irregular
406+- ```hoon
407+ (a b c)
408+ ```
409+ {% /table %}
439410
440411#### AST
441412
@@ -473,34 +444,29 @@ Evaluate an arm in a door.
473444
474445Three arguments, fixed.
475446
476−<table>
477−<tr><th>Form</th><th>Syntax</th></tr>
478−<tr>
479−<td>Tall</td>
480−<td>
481−<pre>
482−%~ p q
483−r
484−</pre>
485−</td>
486−</tr>
487−<tr>
488−<td>Wide</td>
489−<td>
490−<pre>
491−%~(p q r)
492−</pre>
493−</td>
494−</tr>
495−<tr>
496−<td>Irregular</td>
497−<td>
498−<pre>
499−~(p q r1 r2 rn)
500−</pre>
501−</td>
502−</tr>
503−</table>
447+{% table %}
448+
449+- Form
450+- Syntax
451+
452+---
453+
454+- Tall
455+- ```hoon
456+ %~ p q
457+ r
458+ ```
459+ ***
460+- Wide
461+- ```hoon
462+ %~(p q r)
463+ ```
464+ ***
465+- Irregular
466+- ```
467+ ~(p q r1 r2 rn)
468+ ```
469+ {% /table %}
504470
505471In the irregular form, `r` may be split into multiple parts. Multiple parts of
506472`r` will be formed into a cell.
@@ -542,48 +508,45 @@ Evaluate an expression, then resolve a wing with changes.
542508
543509Two fixed arguments, then a variable number of pairs.
544510
545−<table>
546−<tr><th>Form</th><th>Syntax</th></tr>
547−<tr>
548−<td>Tall style #1</td>
549−<td>
550−<pre>
551−%* a=wing b=hoon
552− c=wing d=hoon
553− e=wing f=hoon
554− ...
555− g=wing h=hoon
556−==
557−</pre>
558−</td>
559−</tr>
560−<tr>
561−<td>Tall style #2</td>
562−<td>
563−<pre>
564−%* a=wing b=hoon
565− c=wing
566− d=hoon
567−::
568− e=wing
569− f=hoon
570−::
571− g=wing
572− h=hoon
573−==
574−</pre>
575−</td>
576−</tr>
577−<tr>
578−<td>Wide</td>
579−<td>
580−<pre>
581−%*(a b c d, e f, g h)
582−</pre>
583−</td>
584−</tr>
585−<tr><td>Irregular</td><td>None.</td></tr>
586−</table>
511+{% table %}
512+
513+- Form
514+- Syntax
515+
516+---
517+
518+- Tall style #1
519+- ```hoon
520+ %* a=wing b=hoon
521+ c=wing d=hoon
522+ e=wing f=hoon
523+ ...
524+ g=wing h=hoon
525+ ==
526+ ```
527+ ***
528+- Tall style #2
529+- ```hoon
530+ %* a=wing b=hoon
531+ c=wing
532+ d=hoon
533+ ::
534+ e=wing
535+ f=hoon
536+ ::
537+ g=wing
538+ h=hoon
539+ ==
540+ ```
541+ ***
542+- Wide
543+- ```hoon
544+ %*(a b c d, e f, g h)
545+ ```
546+ ***
547+- Irregular
548+- None.
549+ {% /table %}
587550
588551#### AST
589552
@@ -643,55 +606,47 @@ Resolve a wing with changes.
643606
644607One fixed argument, then a variable number of pairs.
645608
646−<table>
647−<tr><th>Form</th><th>Syntax</th></tr>
648−<tr>
649−<td>Tall style #1</td>
650−<td>
651−<pre>
652−%= a=wing
653− b=wing c=hoon
654− d=wing e=hoon
655− ...
656− f=wing g=hoon
657−==
658−</pre>
659−</td>
660−</tr>
661−<tr>
662−<td>Tall style #2</td>
663−<td>
664−<pre>
665−%= a=wing
666− b=wing
667− c=hoon
668−::
669− d=wing
670− e=hoon
671−::
672− f=wing
673− g=hoon
674−==
675−</pre>
676−</td>
677−</tr>
678−<tr>
679−<td>Wide</td>
680−<td>
681−<pre>
682−%=(a b c, d e, f g)
683−</pre>
684−</td>
685−</tr>
686−<tr>
687−<td>Irregular</td>
688−<td>
689−<pre>
690−a(b c, d e, f g)
691−</pre>
692−</td>
693−</tr>
694−</table>
609+{% table %}
610+
611+- Form
612+- Syntax
613+
614+---
615+
616+- Tall style #1
617+- ```hoon
618+ %= a=wing
619+ b=wing c=hoon
620+ d=wing e=hoon
621+ ...
622+ f=wing g=hoon
623+ ==
624+ ```
625+ ***
626+- Tall style #2
627+- ```hoon
628+ %= a=wing
629+ b=wing
630+ c=hoon
631+ ::
632+ d=wing
633+ e=hoon
634+ ::
635+ f=wing
636+ g=hoon
637+ ==
638+ ```
639+ ***
640+- Wide
641+- ```hoon
642+ %=(a b c, d e, f g)
643+ ```
644+ ***
645+- Irregular
646+- ```
647+ a(b c, d e, f g)
648+ ```
649+ {% /table %}
695650
696651#### AST
697652
content/docs/hoon/reference/rune/col.md+150−181
@@ -16,42 +16,34 @@ Construct a cell (2-tuple).
1616
1717Two arguments, fixed.
1818
19−<table>
20−<tr><th>Form</th><th>Syntax</th></tr>
21−<tr>
22−<td>Tall</td>
23−<td>
24−<pre>
25−:- p
26−q
27−</pre>
28−</td>
29−</tr>
30−<tr>
31−<td>Wide</td>
32−<td>
33−<pre>
34−:-(p q)
35−</pre>
36−</td>
37−</tr>
38−<tr>
39−<td>Irregular #1</td>
40−<td>
41−<pre>
42−[p q]
43−</pre>
44−</td>
45−</tr>
46−<tr>
47−<td>Irregular #2</td>
48−<td>
49−<pre>
50−p^q
51−</pre>
52−</td>
53−</tr>
54−</table>
19+{% table %}
20+
21+- Form
22+- Syntax
23+
24+---
25+
26+- Tall
27+- ```hoon
28+ :- p
29+ q
30+ ```
31+ ***
32+- Wide
33+- ```hoon
34+ :-(p q)
35+ ```
36+ ***
37+- Irregular #1
38+- ```hoon
39+ [p q]
40+ ```
41+ ***
42+- Irregular #2
43+- ```
44+ p^q
45+ ```
46+ {% /table %}
5547
5648#### AST
5749
@@ -89,30 +81,27 @@ Construct a cell, inverted.
8981
9082Two arguments, fixed.
9183
92−<table>
93−<tr><th>Form</th><th>Syntax</th></tr>
94−<tr>
95−<td>Tall</td>
96−<td>
97−<pre>
98−:_ p
99−q
100−</pre>
101−</td>
102−</tr>
103−<tr>
104−<td>Wide</td>
105−<td>
106−<pre>
107−:_(p q)
108−</pre>
109−</td>
110−</tr>
111−<tr>
112−<td>Irregular</td>
113−<td>None.</td>
114−</tr>
115−</table>
84+{% table %}
85+
86+- Form
87+- Syntax
88+
89+---
90+
91+- Tall
92+- ```hoon
93+ :_ p
94+ q
95+ ```
96+ ***
97+- Wide
98+- ```hoon
99+ :_(p q)
100+ ```
101+ ***
102+- Irregular
103+- None.
104+ {% /table %}
116105
117106#### AST
118107
@@ -143,35 +132,30 @@ Construct a triple (3-tuple).
143132
144133Three arguments, fixed.
145134
146−<table>
147−<tr><th>Form</th><th>Syntax</th></tr>
148−<tr>
149−<td>Tall</td>
150−<td>
151−<pre>
152−:+ p
153− q
154−r
155−</pre>
156−</td>
157−</tr>
158−<tr>
159−<td>Wide</td>
160−<td>
161−<pre>
162−:+(p q r)
163−</pre>
164−</td>
165−</tr>
166−<tr>
167−<td>Irregular</td>
168−<td>
169−<pre>
170−[p q r]
171−</pre>
172−</td>
173−</tr>
174−</table>
135+{% table %}
136+
137+- Form
138+- Syntax
139+
140+---
141+
142+- Tall
143+- ```hoon
144+ :+ p
145+ q
146+ r
147+ ```
148+ ***
149+- Wide
150+- ```hoon
151+ :+(p q r)
152+ ```
153+ ***
154+- Irregular
155+- ```hoon
156+ [p q r]
157+ ```
158+ {% /table %}
175159
176160#### AST
177161
@@ -207,36 +191,31 @@ Construct a quadruple (4-tuple).
207191
208192Four arguments, fixed.
209193
210−<table>
211−<tr><th>Form</th><th>Syntax</th></tr>
212−<tr>
213−<td>Tall</td>
214−<td>
215−<pre>
216−:^ p
217− q
218− r
219−s
220−</pre>
221−</td>
222−</tr>
223−<tr>
224−<td>Wide</td>
225−<td>
226−<pre>
227−:^(p q r s)
228−</pre>
229−</td>
230−</tr>
231−<tr>
232−<td>Irregular</td>
233−<td>
234−<pre>
235−[p q r s]
236−</pre>
237−</td>
238−</tr>
239−</table>
194+{% table %}
195+
196+- Form
197+- Syntax
198+
199+---
200+
201+- Tall
202+- ```hoon
203+ :^ p
204+ q
205+ r
206+ s
207+ ```
208+ ***
209+- Wide
210+- ```hoon
211+ :^(p q r s)
212+ ```
213+ ***
214+- Irregular
215+- ```hoon
216+ [p q r s]
217+ ```
218+ {% /table %}
240219
241220#### AST
242221
@@ -273,37 +252,32 @@ Construct an n-tuple.
273252
274253Variable number of arguments.
275254
276−<table>
277−<tr><th>Form</th><th>Syntax</th></tr>
278−<tr>
279−<td>Tall</td>
280−<td>
281−<pre>
282−:* p1
283− p2
284− p3
285− pn
286−==
287−</pre>
288−</td>
289−</tr>
290−<tr>
291−<td>Wide</td>
292−<td>
293−<pre>
294−:*(p1 p2 p3 pn)
295−</pre>
296−</td>
297−</tr>
298−<tr>
299−<td>Irregular</td>
300−<td>
301−<pre>
302−[p1 p2 p3 pn]
303−</pre>
304−</td>
305−</tr>
306−</table>
255+{% table %}
256+
257+- Form
258+- Syntax
259+
260+---
261+
262+- Tall
263+- ```hoon
264+ :* p1
265+ p2
266+ p3
267+ pn
268+ ==
269+ ```
270+ ***
271+- Wide
272+- ```hoon
273+ :*(p1 p2 p3 pn)
274+ ```
275+ ***
276+- Irregular
277+- ```
278+ [p1 p2 p3 pn]
279+ ```
280+ {% /table %}
307281
308282#### AST
309283
@@ -363,37 +337,32 @@ Construct a null-terminated list.
363337
364338Variable number of arguments.
365339
366−<table>
367−<tr><th>Form</th><th>Syntax</th></tr>
368−<tr>
369−<td>Tall</td>
370−<td>
371−<pre>
372−:~ p1
373− p2
374− p3
375− pn
376−==
377−</pre>
378−</td>
379−</tr>
380−<tr>
381−<td>Wide</td>
382−<td>
383−<pre>
384−:~(p1 p2 p3 pn)
385−</pre>
386−</td>
387−</tr>
388−<tr>
389−<td>Irregular</td>
390−<td>
391−<pre>
392−~[p1 p2 p3 pn]
393−</pre>
394−</td>
395−</tr>
396−</table>
340+{% table %}
341+
342+- Form
343+- Syntax
344+
345+---
346+
347+- Tall
348+- ```hoon
349+ :~ p1
350+ p2
351+ p3
352+ pn
353+ ==
354+ ```
355+ ***
356+- Wide
357+- ```hoon
358+ :~(p1 p2 p3 pn)
359+ ```
360+ ***
361+- Irregular
362+- ```
363+ ~[p1 p2 p3 pn]
364+ ```
365+ {% /table %}
397366
398367#### AST
399368
content/docs/hoon/reference/rune/dot.md+111−130
@@ -22,34 +22,31 @@ 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−<table>
26−<tr><th>Form</th><th>Syntax</th></tr>
27−<tr>
28−<td>Tall</td>
29−<td>
30−<pre>
31−.^ p
32− q1
33− q2
34− q3
35− qn
36−==
37−</pre>
38−</td>
39−</tr>
40−<tr>
41−<td>Wide</td>
42−<td>
43−<pre>
44−.^(p q1 q2)
45−</pre>
46−</td>
47−</tr>
48−<tr>
49−<td>Irregular</td>
50−<td>None.</td>
51−</tr>
52−</table>
25+{% table %}
26+
27+- Form
28+- Syntax
29+
30+---
31+
32+- Tall
33+- ```hoon
34+ .^ p
35+ q1
36+ q2
37+ q3
38+ qn
39+ ==
40+ ```
41+ ***
42+- Wide
43+- ```hoon
44+ .^(p q1 q2)
45+ ```
46+ ***
47+- Irregular
48+- None.
49+ {% /table %}
5350
5451#### AST
5552
@@ -132,33 +129,28 @@ Increment an atom with Nock `4`.
132129
133130One argument, fixed.
134131
135−<table>
136−<tr><th>Form</th><th>Syntax</th></tr>
137−<tr>
138−<td>Tall</td>
139−<td>
140−<pre>
141−.+ p
142−</pre>
143−</td>
144−</tr>
145−<tr>
146−<td>Wide</td>
147−<td>
148−<pre>
149−.+(p)
150−</pre>
151−</td>
152−</tr>
153−<tr>
154−<td>Irregular</td>
155−<td>
156−<pre>
157−+(p)
158−</pre>
159−</td>
160−</tr>
161−</table>
132+{% table %}
133+
134+- Form
135+- Syntax
136+
137+---
138+
139+- Tall
140+- ```hoon
141+ .+ p
142+ ```
143+ ***
144+- Wide
145+- ```hoon
146+ .+(p)
147+ ```
148+ ***
149+- Irregular
150+- ```hoon
151+ +(p)
152+ ```
153+ {% /table %}
162154
163155#### AST
164156
@@ -200,30 +192,27 @@ Nock of formula `q` and subject `p`, with type `%noun`.
200192
201193Two arguments, fixed.
202194
203−<table>
204−<tr><th>Form</th><th>Syntax</th></tr>
205−<tr>
206−<td>Tall</td>
207−<td>
208−<pre>
209−.* p
210−q
211−</pre>
212−</td>
213−</tr>
214−<tr>
215−<td>Wide</td>
216−<td>
217−<pre>
218−.*(p q)
219−</pre>
220−</td>
221−</tr>
222−<tr>
223−<td>Irregular</td>
224−<td>None.</td>
225−</tr>
226−</table>
195+{% table %}
196+
197+- Form
198+- Syntax
199+
200+---
201+
202+- Tall
203+- ```hoon
204+ .* p
205+ q
206+ ```
207+ ***
208+- Wide
209+- ```hoon
210+ .*(p q)
211+ ```
212+ ***
213+- Irregular
214+- None.
215+ {% /table %}
227216
228217#### AST
229218
@@ -272,34 +261,29 @@ Test for equality with Nock `5`.
272261
273262Two arguments, fixed.
274263
275−<table>
276−<tr><th>Form</th><th>Syntax</th></tr>
277−<tr>
278−<td>Tall</td>
279−<td>
280−<pre>
281−.= p
282−q
283−</pre>
284−</td>
285−</tr>
286−<tr>
287−<td>Wide</td>
288−<td>
289−<pre>
290−.=(p q)
291−</pre>
292−</td>
293−</tr>
294−<tr>
295−<td>Irregular</td>
296−<td>
297−<pre>
298−=(p q)
299−</pre>
300−</td>
301−</tr>
302−</table>
264+{% table %}
265+
266+- Form
267+- Syntax
268+
269+---
270+
271+- Tall
272+- ```hoon
273+ .= p
274+ q
275+ ```
276+ ***
277+- Wide
278+- ```hoon
279+ .=(p q)
280+ ```
281+ ***
282+- Irregular
283+- ```hoon
284+ =(p q)
285+ ```
286+ {% /table %}
303287
304288#### AST
305289
@@ -348,29 +332,26 @@ Test for cell or atom with Nock `3`.
348332
349333One argument, fixed.
350334
351−<table>
352−<tr><th>Form</th><th>Syntax</th></tr>
353−<tr>
354−<td>Tall</td>
355−<td>
356−<pre>
357−.? p
358−</pre>
359−</td>
360−</tr>
361−<tr>
362−<td>Wide</td>
363−<td>
364−<pre>
365−.?(p)
366−</pre>
367−</td>
368−</tr>
369−<tr>
370−<td>Irregular</td>
371−<td>None.</td>
372−</tr>
373−</table>
335+{% table %}
336+
337+- Form
338+- Syntax
339+
340+---
341+
342+- Tall
343+- ```hoon
344+ .? p
345+ ```
346+ ***
347+- Wide
348+- ```hoon
349+ .?(p)
350+ ```
351+ ***
352+- Irregular
353+- None.
354+ {% /table %}
374355
375356#### AST
376357
content/docs/hoon/reference/rune/ket.md+210−234
@@ -19,29 +19,26 @@ Convert a gold core to an iron core (contravariant).
1919
2020One argument, fixed.
2121
22−<table>
23−<tr><th>Form</th><th>Syntax</th></tr>
24−<tr>
25−<td>Tall</td>
26−<td>
27−<pre>
28−^| p
29−</pre>
30−</td>
31−</tr>
32−<tr>
33−<td>Wide</td>
34−<td>
35−<pre>
36−^|(p)
37−</pre>
38−</td>
39−</tr>
40−<tr>
41−<td>Irregular</td>
42−<td>None.</td>
43−</tr>
44−</table>
22+{% table %}
23+
24+- Form
25+- Syntax
26+
27+---
28+
29+- Tall
30+- ```hoon
31+ ^| p
32+ ```
33+ ***
34+- Wide
35+- ```hoon
36+ ^|(p)
37+ ```
38+ ***
39+- Irregular
40+- None.
41+ {% /table %}
4542
4643#### AST
4744
@@ -89,29 +86,26 @@ Mold gate for type `p`.
8986
9087One argument, fixed.
9188
92−<table>
93−<tr><th>Form</th><th>Syntax</th></tr>
94−<tr>
95−<td>Tall</td>
96−<td>
97−<pre>
98−^: p
99−</pre>
100−</td>
101−</tr>
102−<tr>
103−<td>Wide</td>
104−<td>
105−<pre>
106−^:(p)
107−</pre>
108−</td>
109−</tr>
110−<tr>
111−<td>Irregular</td>
112−<td>None.</td>
113−</tr>
114−</table>
89+{% table %}
90+
91+- Form
92+- Syntax
93+
94+---
95+
96+- Tall
97+- ```hoon
98+ ^: p
99+ ```
100+ ***
101+- Wide
102+- ```hoon
103+ ^:(p)
104+ ```
105+ ***
106+- Irregular
107+- None.
108+ {% /table %}
115109
116110#### AST
117111
@@ -166,30 +160,27 @@ Typecast on value produced by passing `q` to `p`.
166160
167161Two arguments, fixed.
168162
169−<table>
170−<tr><th>Form</th><th>Syntax</th></tr>
171−<tr>
172−<td>Tall</td>
173−<td>
174−<pre>
175−^. p
176−q
177−</pre>
178−</td>
179−</tr>
180−<tr>
181−<td>Wide</td>
182−<td>
183−<pre>
184−^.(p q)
185−</pre>
186−</td>
187−</tr>
188−<tr>
189−<td>Irregular</td>
190−<td>None.</td>
191−</tr>
192−</table>
163+{% table %}
164+
165+- Form
166+- Syntax
167+
168+---
169+
170+- Tall
171+- ```hoon
172+ ^. p
173+ q
174+ ```
175+ ***
176+- Wide
177+- ```hoon
178+ ^.(p q)
179+ ```
180+ ***
181+- Irregular
182+- None.
183+ {% /table %}
193184
194185#### AST
195186
@@ -236,34 +227,29 @@ Typecast by explicit type label.
236227
237228Two arguments, fixed.
238229
239−<table>
240−<tr><th>Form</th><th>Syntax</th></tr>
241−<tr>
242−<td>Tall</td>
243−<td>
244−<pre>
245−^- p
246−q
247−</pre>
248−</td>
249−</tr>
250−<tr>
251−<td>Wide</td>
252−<td>
253−<pre>
254−^-(p q)
255−</pre>
256−</td>
257−</tr>
258−<tr>
259−<td>Irregular</td>
260−<td>
261−<pre>
262−`p`q
263−</pre>
264−</td>
265−</tr>
266−</table>
230+{% table %}
231+
232+- Form
233+- Syntax
234+
235+---
236+
237+- Tall
238+- ```hoon
239+ ^- p
240+ q
241+ ```
242+ ***
243+- Wide
244+- ```hoon
245+ ^-(p q)
246+ ```
247+ ***
248+- Irregular
249+- ```
250+ `p`q
251+ ```
252+ {% /table %}
267253
268254#### AST
269255
@@ -313,27 +299,27 @@ Typecast by inferred type.
313299
314300Two arguments, fixed.
315301
316−<table>
317−<tr><th>Form</th><th>Syntax</th></tr>
318−<tr>
319−<td>Tall</td>
320−<td>
321−<pre>
322−^+ p
323−q
324−</pre>
325−</td>
326−</tr>
327−<tr>
328−<td>Wide</td>
329−<td>
330−<pre>
331−^+(p q)
332−</pre>
333−</td>
334−</tr>
335−<tr><td>Irregular</td><td>None.</td></tr>
336−</table>
302+{% table %}
303+
304+- Form
305+- Syntax
306+
307+---
308+
309+- Tall
310+- ```hoon
311+ ^+ p
312+ q
313+ ```
314+ ***
315+- Wide
316+- ```hoon
317+ ^+(p q)
318+ ```
319+ ***
320+- Irregular
321+- None.
322+ {% /table %}
337323
338324#### AST
339325
@@ -363,26 +349,26 @@ Convert a core to a zinc core (covariant).
363349
364350One argument, fixed.
365351
366−<table>
367−<tr><th>Form</th><th>Syntax</th></tr>
368−<tr>
369−<td>Tall</td>
370−<td>
371−<pre>
372−^& p
373−</pre>
374−</td>
375−</tr>
376−<tr>
377−<td>Wide</td>
378−<td>
379−<pre>
380−^&(p)
381−</pre>
382−</td>
383−</tr>
384−<tr><td>Irregular</td><td>None.</td></tr>
385−</table>
352+{% table %}
353+
354+- Form
355+- Syntax
356+
357+---
358+
359+- Tall
360+- ```hoon
361+ ^& p
362+ ```
363+ ***
364+- Wide
365+- ```hoon
366+ ^&(p)
367+ ```
368+ ***
369+- Irregular
370+- None.
371+ {% /table %}
386372
387373#### AST
388374
@@ -446,26 +432,26 @@ Fold constant at compile time.
446432
447433One argument, fixed.
448434
449−<table>
450−<tr><th>Form</th><th>Syntax</th></tr>
451−<tr>
452−<td>Tall</td>
453−<td>
454−<pre>
455−^~ p
456−</pre>
457−</td>
458−</tr>
459−<tr>
460−<td>Wide</td>
461−<td>
462−<pre>
463−^~(p)
464−</pre>
465−</td>
466−</tr>
467−<tr><td>Irregular</td><td>None.</td></tr>
468−</table>
435+{% table %}
436+
437+- Form
438+- Syntax
439+
440+---
441+
442+- Tall
443+- ```hoon
444+ ^~ p
445+ ```
446+ ***
447+- Wide
448+- ```hoon
449+ ^~(p)
450+ ```
451+ ***
452+- Irregular
453+- None.
454+ {% /table %}
469455
470456#### AST
471457
@@ -497,33 +483,28 @@ Produce example type value.
497483
498484One argument, fixed.
499485
500−<table>
501−<tr><th>Form</th><th>Syntax</th></tr>
502−<tr>
503−<td>Tall</td>
504−<td>
505−<pre>
506−^* p
507−</pre>
508−</td>
509−</tr>
510−<tr>
511−<td>Wide</td>
512−<td>
513−<pre>
514−^*(p)
515−</pre>
516−</td>
517−</tr>
518−<tr>
519−<td>Irregular</td>
520−<td>
521−<pre>
522−*p
523−</pre>
524−</td>
525−</tr>
526−</table>
486+{% table %}
487+
488+- Form
489+- Syntax
490+
491+---
492+
493+- Tall
494+- ```hoon
495+ ^* p
496+ ```
497+ ***
498+- Wide
499+- ```hoon
500+ ^*(p)
501+ ```
502+ ***
503+- Irregular
504+- ```hoon
505+ *p
506+ ```
507+ {% /table %}
527508
528509`p` is any structure expression.
529510
@@ -578,34 +559,29 @@ Bind name to a value.
578559
579560Two arguments, fixed.
580561
581−<table>
582−<tr><th>Form</th><th>Syntax</th></tr>
583−<tr>
584−<td>Tall</td>
585−<td>
586−<pre>
587−^= p
588−q
589−</pre>
590−</td>
591−</tr>
592−<tr>
593−<td>Wide</td>
594−<td>
595−<pre>
596−^=(p q)
597−</pre>
598−</td>
599−</tr>
600−<tr>
601−<td>Irregular</td>
602−<td>
603−<pre>
604−p=q
605−</pre>
606−</td>
607−</tr>
608−</table>
562+{% table %}
563+
564+- Form
565+- Syntax
566+
567+---
568+
569+- Tall
570+- ```hoon
571+ ^= p
572+ q
573+ ```
574+ ***
575+- Wide
576+- ```hoon
577+ ^=(p q)
578+ ```
579+ ***
580+- Irregular
581+- ```
582+ p=q
583+ ```
584+ {% /table %}
609585
610586#### AST
611587
@@ -649,26 +625,26 @@ Convert any core to a lead core (bivariant).
649625
650626One argument, fixed.
651627
652−<table>
653−<tr><th>Form</th><th>Syntax</th></tr>
654−<tr>
655−<td>Tall</td>
656−<td>
657−<pre>
658−^? p
659−</pre>
660−</td>
661−</tr>
662−<tr>
663−<td>Wide</td>
664−<td>
665−<pre>
666−^?(p)
667−</pre>
668−</td>
669−</tr>
670−<tr><td>Irregular</td><td>None.</td></tr>
671−</table>
628+{% table %}
629+
630+- Form
631+- Syntax
632+
633+---
634+
635+- Tall
636+- ```hoon
637+ ^? p
638+ ```
639+ ***
640+- Wide
641+- ```hoon
642+ ^?(p)
643+ ```
644+ ***
645+- Irregular
646+- None.
647+ {% /table %}
672648
673649#### AST
674650
content/docs/hoon/reference/rune/lus.md+83−55
@@ -24,19 +24,26 @@ Chapter label (not useful)
2424
2525One argument, fixed.
2626
27−<table>
28−<tr><th>Form</th><th>Syntax</th></tr>
29−<tr>
30−<td>Tall</td>
31−<td>
32−<pre>
33−+| %label
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>
27+{% table %}
28+
29+- Form
30+- Syntax
31+
32+---
33+
34+- Tall
35+- ```hoon
36+ +| %label
37+ ```
38+ ***
39+- Wide
40+- None.
41+
42+---
43+
44+- Irregular
45+- None.
46+ {% /table %}
4047
4148#### Discussion
4249
@@ -90,19 +97,26 @@ Produce a structure arm (type definition).
9097
9198Two arguments, fixed.
9299
93−<table>
94−<tr><th>Form</th><th>Syntax</th></tr>
95−<tr>
96−<td>Tall</td>
97−<td>
98−<pre>
99−+$ p=term q=spec
100−</pre>
101−</td>
102−</tr>
103−<tr><td>Wide</td><td>None.</td></tr>
104−<tr><td>Irregular</td><td>None.</td></tr>
105−</table>
100+{% table %}
101+
102+- Form
103+- Syntax
104+
105+---
106+
107+- Tall
108+- ```hoon
109+ +$ p=term q=spec
110+ ```
111+ ***
112+- Wide
113+- None.
114+
115+---
116+
117+- Irregular
118+- None.
119+ {% /table %}
106120
107121`p` is an arm name, and `q` is any structure expression.
108122
@@ -143,19 +157,26 @@ Produce a normal arm.
143157
144158Two arguments, fixed.
145159
146−<table>
147−<tr><th>Form</th><th>Syntax</th></tr>
148−<tr>
149−<td>Tall</td>
150−<td>
151−<pre>
152−++ p=term q=hoon
153−</pre>
154−</td>
155−</tr>
156−<tr><td>Wide</td><td>None.</td></tr>
157−<tr><td>Irregular</td><td>None.</td></tr>
158−</table>
160+{% table %}
161+
162+- Form
163+- Syntax
164+
165+---
166+
167+- Tall
168+- ```hoon
169+ ++ p=term q=hoon
170+ ```
171+ ***
172+- Wide
173+- None.
174+
175+---
176+
177+- Irregular
178+- None.
179+ {% /table %}
159180
160181`p` is the arm name, and `q` is any Hoon expression.
161182
@@ -192,22 +213,29 @@ Defines deferred expressions within doors.
192213
193214Arguments: A variable number of pairs.
194215
195−<table>
196−<tr><th>Form</th><th>Syntax</th></tr>
197−<tr>
198−<td>Tall</td>
199−<td>
200−<pre>
201−+* a=term b=hoon
202− c=term d=hoon
203− ...
204− e=term f=hoon
205−</pre>
206−</td>
207−</tr>
208−<tr><td>Wide</td><td>None.</td></tr>
209−<tr><td>Irregular</td><td>None.</td></tr>
210−</table>
216+{% table %}
217+
218+- Form
219+- Syntax
220+
221+---
222+
223+- Tall
224+- ```hoon
225+ +* a=term b=hoon
226+ c=term d=hoon
227+ ...
228+ e=term f=hoon
229+ ```
230+ ***
231+- Wide
232+- None.
233+
234+---
235+
236+- Irregular
237+- None.
238+ {% /table %}
211239
212240`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that
213241unlike all other runes with a variable number of arguments, the list of
content/docs/hoon/reference/rune/mic.md+176−181
@@ -15,37 +15,32 @@ Call a binary function as an n-ary function.
1515
1616One fixed argument, then a variable number of arguments.
1717
18−<table>
19−<tr><th>Form</th><th>Syntax</th></tr>
20−<tr>
21−<td>Tall</td>
22−<td>
23−<pre>
24−;: p
25− q1
26− q2
27− qn
28−==
29−</pre>
30−</td>
31−</tr>
32−<tr>
33−<td>Wide</td>
34−<td>
35−<pre>
36−;:(p q1 q2 qn)
37−</pre>
38−</td>
39−</tr>
40−<tr>
41−<td>Irregular</td>
42−<td>
43−<pre>
44−:(p q1 q2 qn)
45−</pre>
46−</td>
47−</tr>
48−</table>
18+{% table %}
19+
20+- Form
21+- Syntax
22+
23+---
24+
25+- Tall
26+- ```hoon
27+ ;: p
28+ q1
29+ q2
30+ qn
31+ ==
32+ ```
33+ ***
34+- Wide
35+- ```hoon
36+ ;:(p q1 q2 qn)
37+ ```
38+ ***
39+- Irregular
40+- ```
41+ :(p q1 q2 qn)
42+ ```
43+ {% /table %}
4944
5045#### AST
5146
@@ -106,26 +101,26 @@ Monadic do notation.
106101
107102Four arguments, fixed.
108103
109−<table>
110−<tr><th>Form</th><th>Syntax</th></tr>
111−<tr>
112−<td>Tall</td>
113−<td>
114−<pre>
115−;< mold bind expr1 expr2
116−</pre>
117−</td>
118−</tr>
119−<tr>
120−<td>Wide</td>
121−<td>
122−<pre>
123−;<(mold bind expr1 expr2)
124−</pre>
125−</td>
126−</tr>
127−<tr><td>Irregular</td><td>None.</td></tr>
128−</table>
104+{% table %}
105+
106+- Form
107+- Syntax
108+
109+---
110+
111+- Tall
112+- ```hoon
113+ ;< mold bind expr1 expr2
114+ ```
115+ ***
116+- Wide
117+- ```hoon
118+ ;<(mold bind expr1 expr2)
119+ ```
120+ ***
121+- Irregular
122+- None.
123+ {% /table %}
129124
130125#### AST
131126
@@ -208,26 +203,26 @@ make a single XML node (Sail)
208203
209204One argument, fixed.
210205
211−<table>
212−<tr><th>Form</th><th>Syntax</th></tr>
213−<tr>
214−<td>Tall</td>
215−<td>
216−<pre>
217−;+ p
218−</pre>
219−</td>
220−</tr>
221−<tr>
222−<td>Wide</td>
223−<td>
224−<pre>
225−;+(p)
226−</pre>
227−</td>
228−</tr>
229−<tr><td>Irregular</td><td>None.</td></tr>
230−</table>
206+{% table %}
207+
208+- Form
209+- Syntax
210+
211+---
212+
213+- Tall
214+- ```hoon
215+ ;+ p
216+ ```
217+ ***
218+- Wide
219+- ```hoon
220+ ;+(p)
221+ ```
222+ ***
223+- Irregular
224+- None.
225+ {% /table %}
231226
232227`p` is a Hoon expression that produces a `manx`.
233228
@@ -246,7 +241,7 @@ nouns that represent XML nodes. With the appropriate rendering pipeline, a Sail
246241document can be used to generate a static website.
247242
248243In Sail a single XML node is represented by a `manx`. A single
249−<code>&lt;p&gt;</code> node `manx` can be produced in the following way:
244+<code><p&gt;</code> node `manx` can be produced in the following way:
250245
251246```
252247> ;p: This will be rendered as an XML node.
@@ -294,27 +289,27 @@ Normalize with a mold, asserting fixpoint.
294289
295290Two arguments, fixed.
296291
297−<table>
298−<tr><th>Form</th><th>Syntax</th></tr>
299−<tr>
300−<td>Tall</td>
301−<td>
302−<pre>
303−;; p
304−q
305−</pre>
306−</td>
307−</tr>
308−<tr>
309−<td>Wide</td>
310−<td>
311−<pre>
312−;;(p q)
313−</pre>
314−</td>
315−</tr>
316−<tr><td>Irregular</td><td>None.</td></tr>
317−</table>
292+{% table %}
293+
294+- Form
295+- Syntax
296+
297+---
298+
299+- Tall
300+- ```hoon
301+ ;; p
302+ q
303+ ```
304+ ***
305+- Wide
306+- ```hoon
307+ ;;(p q)
308+ ```
309+ ***
310+- Irregular
311+- None.
312+ {% /table %}
318313
319314#### AST
320315
@@ -369,26 +364,26 @@ Tape as XML element.
369364
370365One argument, fixed.
371366
372−<table>
373−<tr><th>Form</th><th>Syntax</th></tr>
374−<tr>
375−<td>Tall</td>
376−<td>
377−<pre>
378−;/ p
379−</pre>
380−</td>
381−</tr>
382−<tr>
383−<td>Wide</td>
384−<td>
385−<pre>
386−;/(p)
387−</pre>
388−</td>
389−</tr>
390−<tr><td>Irregular</td><td>None.</td></tr>
391−</table>
367+{% table %}
368+
369+- Form
370+- Syntax
371+
372+---
373+
374+- Tall
375+- ```hoon
376+ ;/ p
377+ ```
378+ ***
379+- Wide
380+- ```hoon
381+ ;/(p)
382+ ```
383+ ***
384+- Irregular
385+- None.
386+ {% /table %}
392387
393388#### AST
394389
@@ -419,30 +414,30 @@ Glue a pipeline together with a product-sample adapter.
419414
420415One fixed argument, then a variable number of arguments.
421416
422−<table>
423−<tr><th>Form</th><th>Syntax</th></tr>
424−<tr>
425−<td>Tall</td>
426−<td>
427−<pre>
428−;~ p
429− q1
430− q2
431− qn
432−==
433−</pre>
434−</td>
435−</tr>
436−<tr>
437−<td>Wide</td>
438−<td>
439−<pre>
440−;~(p q1 q2 qn)
441−</pre>
442−</td>
443−</tr>
444−<tr><td>Irregular</td><td>None.</td></tr>
445−</table>
417+{% table %}
418+
419+- Form
420+- Syntax
421+
422+---
423+
424+- Tall
425+- ```hoon
426+ ;~ p
427+ q1
428+ q2
429+ qn
430+ ==
431+ ```
432+ ***
433+- Wide
434+- ```hoon
435+ ;~(p q1 q2 qn)
436+ ```
437+ ***
438+- Irregular
439+- None.
440+ {% /table %}
446441
447442#### AST
448443
@@ -559,26 +554,26 @@ make a list of XML nodes from complex Hoon expression (Sail)
559554
560555One argument, fixed.
561556
562−<table>
563−<tr><th>Form</th><th>Syntax</th></tr>
564−<tr>
565−<td>Tall</td>
566−<td>
567−<pre>
568−;* p
569−</pre>
570−</td>
571−</tr>
572−<tr>
573−<td>Wide</td>
574−<td>
575−<pre>
576−;*(p)
577−</pre>
578−</td>
579−</tr>
580−<tr><td>Irregular</td><td>None.</td></tr>
581−</table>
557+{% table %}
558+
559+- Form
560+- Syntax
561+
562+---
563+
564+- Tall
565+- ```hoon
566+ ;* p
567+ ```
568+ ***
569+- Wide
570+- ```hoon
571+ ;*(p)
572+ ```
573+ ***
574+- Irregular
575+- None.
576+ {% /table %}
582577
583578`p` is a Hoon expression that produces a `marl`.
584579
@@ -636,30 +631,30 @@ make a list of XML nodes (Sail)
636631
637632A variable number of arguments.
638633
639−<table>
640−<tr><th>Form</th><th>Syntax</th></tr>
641−<tr>
642−<td>Tall</td>
643−<td>
644−<pre>
645−;= p1
646− p2
647− p3
648− pn
649−==
650−</pre>
651−</td>
652−</tr>
653−<tr>
654−<td>Wide</td>
655−<td>
656−<pre>
657−;=(p1 p2 p3 pn)
658−</pre>
659−</td>
660−</tr>
661−<tr><td>Irregular</td><td>None.</td></tr>
662−</table>
634+{% table %}
635+
636+- Form
637+- Syntax
638+
639+---
640+
641+- Tall
642+- ```hoon
643+ ;= p1
644+ p2
645+ p3
646+ pn
647+ ==
648+ ```
649+ ***
650+- Wide
651+- ```hoon
652+ ;=(p1 p2 p3 pn)
653+ ```
654+ ***
655+- Irregular
656+- None.
657+ {% /table %}
663658
664659`p1`-`pn` are Hoon expressions, each of which poduces a `manx`.
665660
content/docs/hoon/reference/rune/sig.md+257−283
@@ -16,30 +16,27 @@ Raw hint, applied to computation.
1616
1717Two arguments, fixed.
1818
19−<table>
20−<tr><th>Form</th><th>Syntax</th></tr>
21−<tr>
22−<td>Tall</td>
23−<td>
24−<pre>
25−~> p
26−q
27−</pre>
28−</td>
29−</tr>
30−<tr>
31−<td>Wide</td>
32−<td>
33−<pre>
34−~>(p q)
35−</pre>
36−</td>
37−</tr>
38−<tr>
39−<td>Irregular</td>
40−<td>None.</td>
41−</tr>
42−</table>
19+{% table %}
20+
21+- Form
22+- Syntax
23+
24+---
25+
26+- Tall
27+- ```hoon
28+ ~> p
29+ q
30+ ```
31+ ***
32+- Wide
33+- ```hoon
34+ ~>(p q)
35+ ```
36+ ***
37+- Irregular
38+- None.
39+ {% /table %}
4340
4441#### AST
4542
@@ -89,30 +86,27 @@ Tracing printf.
8986
9087Two arguments, fixed.
9188
92−<table>
93−<tr><th>Form</th><th>Syntax</th></tr>
94−<tr>
95−<td>Tall</td>
96−<td>
97−<pre>
98−~| p
99−q
100−</pre>
101−</td>
102−</tr>
103−<tr>
104−<td>Wide</td>
105−<td>
106−<pre>
107−~|(p q)
108−</pre>
109−</td>
110−</tr>
111−<tr>
112−<td>Irregular</td>
113−<td>None.</td>
114−</tr>
115−</table>
89+{% table %}
90+
91+- Form
92+- Syntax
93+
94+---
95+
96+- Tall
97+- ```hoon
98+ ~| p
99+ q
100+ ```
101+ ***
102+- Wide
103+- ```hoon
104+ ~|(p q)
105+ ```
106+ ***
107+- Irregular
108+- None.
109+ {% /table %}
116110
117111#### AST
118112
@@ -151,30 +145,27 @@ Profiling hit counter.
151145
152146Two arguments, fixed.
153147
154−<table>
155−<tr><th>Form</th><th>Syntax</th></tr>
156−<tr>
157−<td>Tall</td>
158−<td>
159−<pre>
160−~& p
161−q
162−</pre>
163−</td>
164−</tr>
165−<tr>
166−<td>Wide</td>
167−<td>
168−<pre>
169−~&(p q)
170−</pre>
171−</td>
172−</tr>
173−<tr>
174−<td>Irregular</td>
175−<td>None.</td>
176−</tr>
177−</table>
148+{% table %}
149+
150+- Form
151+- Syntax
152+
153+---
154+
155+- Tall
156+- ```hoon
157+ ~& p
158+ q
159+ ```
160+ ***
161+- Wide
162+- ```hoon
163+ ~&(p q)
164+ ```
165+ ***
166+- Irregular
167+- None.
168+ {% /table %}
178169
179170#### AST
180171
@@ -229,30 +220,27 @@ User-formatted tracing printf.
229220
230221Two arguments, fixed.
231222
232−<table>
233−<tr><th>Form</th><th>Syntax</th></tr>
234−<tr>
235−<td>Tall</td>
236−<td>
237−<pre>
238−~_ p
239−q
240−</pre>
241−</td>
242−</tr>
243−<tr>
244−<td>Wide</td>
245−<td>
246−<pre>
247−~_(p q)
248−</pre>
249−</td>
250−</tr>
251−<tr>
252−<td>Irregular</td>
253−<td>None.</td>
254−</tr>
255−</table>
223+{% table %}
224+
225+- Form
226+- Syntax
227+
228+---
229+
230+- Tall
231+- ```hoon
232+ ~_ p
233+ q
234+ ```
235+ ***
236+- Wide
237+- ```hoon
238+ ~_(p q)
239+ ```
240+ ***
241+- Irregular
242+- None.
243+ {% /table %}
256244
257245#### AST
258246
@@ -297,25 +285,32 @@ Four arguments. Two fixed arguments, then a third which may be `~` if empty or
297285else a variable number of pairs sandwiched between two `==`s, then a fourth
298286fixed argument.
299287
300−<table>
301−<tr><th>Form</th><th>Syntax</th></tr>
302−<tr>
303−<td>Tall</td>
304−<td>
305−<pre>
306−~% p q
307− ==
308− r1a r1b
309− r2a r2b
310− rna rnb
311− ==
312−s
313−</pre>
314−</td>
315−</tr>
316−<tr><td>Wide</td><td>None.</td></tr>
317−<tr><td>Irregular</td><td>None.</td></tr>
318−</table>
288+{% table %}
289+
290+- Form
291+- Syntax
292+
293+---
294+
295+- Tall
296+- ```hoon
297+ ~% p q
298+ ==
299+ r1a r1b
300+ r2a r2b
301+ rna rnb
302+ ==
303+ s
304+ ```
305+ ***
306+- Wide
307+- None.
308+
309+---
310+
311+- Irregular
312+- None.
313+ {% /table %}
319314
320315#### AST
321316
@@ -406,30 +401,27 @@ Raw hint, applied to product.
406401
407402Two arguments, fixed.
408403
409−<table>
410−<tr><th>Form</th><th>Syntax</th></tr>
411−<tr>
412−<td>Tall</td>
413−<td>
414−<pre>
415−~< p
416−q
417−</pre>
418−</td>
419−</tr>
420−<tr>
421−<td>Wide</td>
422−<td>
423−<pre>
424−~<(p q)
425−</pre>
426−</td>
427−</tr>
428−<tr>
429−<td>Irregular</td>
430−<td>None.</td>
431−</tr>
432−</table>
404+{% table %}
405+
406+- Form
407+- Syntax
408+
409+---
410+
411+- Tall
412+- ```hoon
413+ ~< p
414+ q
415+ ```
416+ ***
417+- Wide
418+- ```hoon
419+ ~<(p q)
420+ ```
421+ ***
422+- Irregular
423+- None.
424+ {% /table %}
433425
434426`p` may either be a a `term` or a pair of `[term hoon]`. If it's the latter, `p`
435427may optionally be written as `%foo.some-hoon`.
@@ -469,29 +461,26 @@ Cache a computation.
469461
470462One argument, fixed.
471463
472−<table>
473−<tr><th>Form</th><th>Syntax</th></tr>
474−<tr>
475−<td>Tall</td>
476−<td>
477−<pre>
478−~+ p
479−</pre>
480−</td>
481−</tr>
482−<tr>
483−<td>Wide</td>
484−<td>
485−<pre>
486−~+(p)
487−</pre>
488−</td>
489−</tr>
490−<tr>
491−<td>Irregular</td>
492−<td>None.</td>
493−</tr>
494−</table>
464+{% table %}
465+
466+- Form
467+- Syntax
468+
469+---
470+
471+- Tall
472+- ```hoon
473+ ~+ p
474+ ```
475+ ***
476+- Wide
477+- ```hoon
478+ ~+(p)
479+ ```
480+ ***
481+- Irregular
482+- None.
483+ {% /table %}
495484
496485#### AST
497486
@@ -541,30 +530,27 @@ Jet registration for gate with registered context.
541530
542531Two arguments, fixed.
543532
544−<table>
545−<tr><th>Form</th><th>Syntax</th></tr>
546−<tr>
547−<td>Tall</td>
548−<td>
549−<pre>
550−~/ p
551−q
552−</pre>
553−</td>
554−</tr>
555−<tr>
556−<td>Wide</td>
557−<td>
558−<pre>
559−~/(p q)
560−</pre>
561−</td>
562−</tr>
563−<tr>
564−<td>Irregular</td>
565−<td>None.</td>
566−</tr>
567−</table>
533+{% table %}
534+
535+- Form
536+- Syntax
537+
538+---
539+
540+- Tall
541+- ```hoon
542+ ~/ p
543+ q
544+ ```
545+ ***
546+- Wide
547+- ```hoon
548+ ~/(p q)
549+ ```
550+ ***
551+- Irregular
552+- None.
553+ {% /table %}
568554
569555#### AST
570556
@@ -601,30 +587,27 @@ Debugging printf.
601587
602588Two arguments, fixed.
603589
604−<table>
605−<tr><th>Form</th><th>Syntax</th></tr>
606−<tr>
607−<td>Tall</td>
608−<td>
609−<pre>
610−~& p
611−q
612−</pre>
613−</td>
614−</tr>
615−<tr>
616−<td>Wide</td>
617−<td>
618−<pre>
619−~&(p q)
620−</pre>
621−</td>
622−</tr>
623−<tr>
624−<td>Irregular</td>
625−<td>None.</td>
626−</tr>
627−</table>
590+{% table %}
591+
592+- Form
593+- Syntax
594+
595+---
596+
597+- Tall
598+- ```hoon
599+ ~& p
600+ q
601+ ```
602+ ***
603+- Wide
604+- ```hoon
605+ ~&(p q)
606+ ```
607+ ***
608+- Irregular
609+- None.
610+ {% /table %}
628611
629612#### AST
630613
@@ -670,30 +653,27 @@ Detect duplicate.
670653
671654Two arguments, fixed.
672655
673−<table>
674−<tr><th>Form</th><th>Syntax</th></tr>
675−<tr>
676−<td>Tall</td>
677−<td>
678−<pre>
679−~= p
680−q
681−</pre>
682−</td>
683−</tr>
684−<tr>
685−<td>Wide</td>
686−<td>
687−<pre>
688−~=(p q)
689−</pre>
690−</td>
691−</tr>
692−<tr>
693−<td>Irregular</td>
694−<td>None.</td>
695−</tr>
696−</table>
656+{% table %}
657+
658+- Form
659+- Syntax
660+
661+---
662+
663+- Tall
664+- ```hoon
665+ ~= p
666+ q
667+ ```
668+ ***
669+- Wide
670+- ```hoon
671+ ~=(p q)
672+ ```
673+ ***
674+- Irregular
675+- None.
676+ {% /table %}
697677
698678#### AST
699679
@@ -739,31 +719,28 @@ Conditional debug printf.
739719
740720Three arguments, fixed.
741721
742−<table>
743−<tr><th>Form</th><th>Syntax</th></tr>
744−<tr>
745−<td>Tall</td>
746−<td>
747−<pre>
748−~? p
749− q
750−r
751−</pre>
752−</td>
753−</tr>
754−<tr>
755−<td>Wide</td>
756−<td>
757−<pre>
758−~?(p q r)
759−</pre>
760−</td>
761−</tr>
762−<tr>
763−<td>Irregular</td>
764−<td>None.</td>
765−</tr>
766−</table>
722+{% table %}
723+
724+- Form
725+- Syntax
726+
727+---
728+
729+- Tall
730+- ```hoon
731+ ~? p
732+ q
733+ r
734+ ```
735+ ***
736+- Wide
737+- ```hoon
738+ ~?(p q r)
739+ ```
740+ ***
741+- Irregular
742+- None.
743+ {% /table %}
767744
768745#### AST
769746
@@ -811,30 +788,27 @@ Print type on compilation fail.
811788
812789Two arguments, fixed.
813790
814−<table>
815−<tr><th>Form</th><th>Syntax</th></tr>
816−<tr>
817−<td>Tall</td>
818−<td>
819−<pre>
820−~! p
821−q
822−</pre>
823−</td>
824−</tr>
825−<tr>
826−<td>Wide</td>
827−<td>
828−<pre>
829−~!(p q)
830−</pre>
831−</td>
832−</tr>
833−<tr>
834−<td>Irregular</td>
835−<td>None.</td>
836−</tr>
837−</table>
791+{% table %}
792+
793+- Form
794+- Syntax
795+
796+---
797+
798+- Tall
799+- ```hoon
800+ ~! p
801+ q
802+ ```
803+ ***
804+- Wide
805+- ```hoon
806+ ~!(p q)
807+ ```
808+ ***
809+- Irregular
810+- None.
811+ {% /table %}
838812
839813#### AST
840814
content/docs/hoon/reference/rune/tis.md+307−351
@@ -32,30 +32,27 @@ Compose two expressions.
3232
3333Two arguments, fixed.
3434
35−<table>
36−<tr><th>Form</th><th>Syntax</th></tr>
37−<tr>
38−<td>Tall</td>
39−<td>
40−<pre>
41−=> p
42−q
43−</pre>
44−</td>
45−</tr>
46−<tr>
47−<td>Wide</td>
48−<td>
49−<pre>
50−=>(p q)
51−</pre>
52−</td>
53−</tr>
54−<tr>
55−<td>Irregular</td>
56−<td>None.</td>
57−</tr>
58−</table>
35+{% table %}
36+
37+- Form
38+- Syntax
39+
40+---
41+
42+- Tall
43+- ```hoon
44+ => p
45+ q
46+ ```
47+ ***
48+- Wide
49+- ```hoon
50+ =>(p q)
51+ ```
52+ ***
53+- Irregular
54+- None.
55+ {% /table %}
5956
6057#### AST
6158
@@ -100,30 +97,27 @@ of a given mold.
10097
10198Two arguments, fixed.
10299
103−<table>
104−<tr><th>Form</th><th>Syntax</th></tr>
105−<tr>
106−<td>Tall</td>
107−<td>
108−<pre>
109−=| p
110−q
111−</pre>
112−</td>
113−</tr>
114−<tr>
115−<td>Wide</td>
116−<td>
117−<pre>
118−=|(p q)
119−</pre>
120−</td>
121−</tr>
122−<tr>
123−<td>Irregular</td>
124−<td>None.</td>
125−</tr>
126−</table>
100+{% table %}
101+
102+- Form
103+- Syntax
104+
105+---
106+
107+- Tall
108+- ```hoon
109+ =| p
110+ q
111+ ```
112+ ***
113+- Wide
114+- ```hoon
115+ =|(p q)
116+ ```
117+ ***
118+- Irregular
119+- None.
120+ {% /table %}
127121
128122#### AST
129123
@@ -165,33 +159,30 @@ Change multiple legs in the subject.
165159
166160Two arguments: the first a variable number of pairs, the second is fixed.
167161
168−<table>
169−<tr><th>Form</th><th>Syntax</th></tr>
170−<tr>
171−<td>Tall</td>
172−<td>
173−<pre>
174−=: p1a p1b
175− p2a p2b
176− p3a p3b
177− ==
178−q
179−</pre>
180−</td>
181−</tr>
182−<tr>
183−<td>Wide</td>
184−<td>
185−<pre>
186−=:(p1a p1b, p2a p2b, p3a p3b q)
187−</pre>
188−</td>
189−</tr>
190−<tr>
191−<td>Irregular</td>
192−<td>None.</td>
193−</tr>
194−</table>
162+{% table %}
163+
164+- Form
165+- Syntax
166+
167+---
168+
169+- Tall
170+- ```hoon
171+ =: p1a p1b
172+ p2a p2b
173+ p3a p3b
174+ ==
175+ q
176+ ```
177+ ***
178+- Wide
179+- ```hoon
180+ =:(p1a p1b, p2a p2b, p3a p3b q)
181+ ```
182+ ***
183+- Irregular
184+- None.
185+ {% /table %}
195186
196187#### AST
197188
@@ -230,30 +221,27 @@ Expose namespace.
230221
231222Two arguments, fixed.
232223
233−<table>
234−<tr><th>Form</th><th>Syntax</th></tr>
235−<tr>
236−<td>Tall</td>
237−<td>
238−<pre>
239−=, p
240−q
241−</pre>
242−</td>
243−</tr>
244−<tr>
245−<td>Wide</td>
246−<td>
247−<pre>
248−=,(p q)
249−</pre>
250−</td>
251−</tr>
252−<tr>
253−<td>Irregular</td>
254−<td>None.</td>
255−</tr>
256−</table>
224+{% table %}
225+
226+- Form
227+- Syntax
228+
229+---
230+
231+- Tall
232+- ```hoon
233+ =, p
234+ q
235+ ```
236+ ***
237+- Wide
238+- ```hoon
239+ =,(p q)
240+ ```
241+ ***
242+- Irregular
243+- None.
244+ {% /table %}
257245
258246#### AST
259247
@@ -312,30 +300,27 @@ Change one leg in the subject.
312300
313301Three arguments, fixed.
314302
315−<table>
316−<tr><th>Form</th><th>Syntax</th></tr>
317−<tr>
318−<td>Tall</td>
319−<td>
320−<pre>
321−=. p q
322−r
323−</pre>
324−</td>
325−</tr>
326−<tr>
327−<td>Wide</td>
328−<td>
329−<pre>
330−=.(p q r)
331−</pre>
332−</td>
333−</tr>
334−<tr>
335−<td>Irregular</td>
336−<td>None.</td>
337−</tr>
338−</table>
303+{% table %}
304+
305+- Form
306+- Syntax
307+
308+---
309+
310+- Tall
311+- ```hoon
312+ =. p q
313+ r
314+ ```
315+ ***
316+- Wide
317+- ```hoon
318+ =.(p q r)
319+ ```
320+ ***
321+- Irregular
322+- None.
323+ {% /table %}
339324
340325#### AST
341326
@@ -383,30 +368,27 @@ Combine a new noun with the subject, inverted.
383368
384369Two arguments, fixed.
385370
386−<table>
387−<tr><th>Form</th><th>Syntax</th></tr>
388−<tr>
389−<td>Tall</td>
390−<td>
391−<pre>
392−=- p
393−q
394−</pre>
395−</td>
396−</tr>
397−<tr>
398−<td>Wide</td>
399−<td>
400−<pre>
401−=-(p q)
402−</pre>
403−</td>
404−</tr>
405−<tr>
406−<td>Irregular</td>
407−<td>None.</td>
408−</tr>
409−</table>
371+{% table %}
372+
373+- Form
374+- Syntax
375+
376+---
377+
378+- Tall
379+- ```hoon
380+ =- p
381+ q
382+ ```
383+ ***
384+- Wide
385+- ```hoon
386+ =-(p q)
387+ ```
388+ ***
389+- Irregular
390+- None.
391+ {% /table %}
410392
411393#### AST
412394
@@ -447,31 +429,28 @@ Pin the head of a pair; change a leg with the tail.
447429
448430Four arguments, fixed.
449431
450−<table>
451−<tr><th>Form</th><th>Syntax</th></tr>
452−<tr>
453−<td>Tall</td>
454−<td>
455−<pre>
456−=^ p q
457− r
458−s
459−</pre>
460−</td>
461−</tr>
462−<tr>
463−<td>Wide</td>
464−<td>
465−<pre>
466−=^(p q r s)
467−</pre>
468−</td>
469−</tr>
470−<tr>
471−<td>Irregular</td>
472−<td>None.</td>
473−</tr>
474−</table>
432+{% table %}
433+
434+- Form
435+- Syntax
436+
437+---
438+
439+- Tall
440+- ```hoon
441+ =^ p q
442+ r
443+ s
444+ ```
445+ ***
446+- Wide
447+- ```hoon
448+ =^(p q r s)
449+ ```
450+ ***
451+- Irregular
452+- None.
453+ {% /table %}
475454
476455#### AST
477456
@@ -528,34 +507,29 @@ Compose two expressions, inverted.
528507
529508Two arguments, fixed
530509
531−<table>
532−<tr><th>Form</th><th>Syntax</th></tr>
533−<tr>
534−<td>Tall</td>
535−<td>
536−<pre>
537−=< p
538−q
539−</pre>
540−</td>
541−</tr>
542−<tr>
543−<td>Wide</td>
544−<td>
545−<pre>
546−=<(p q)
547−</pre>
548−</td>
549−</tr>
550−<tr>
551−<td>Irregular</td>
552−<td>
553−<pre>
554−p:q
555−</pre>
556−</td>
557−</tr>
558−</table>
510+{% table %}
511+
512+- Form
513+- Syntax
514+
515+---
516+
517+- Tall
518+- ```hoon
519+ =< p
520+ q
521+ ```
522+ ***
523+- Wide
524+- ```hoon
525+ =<(p q)
526+ ```
527+ ***
528+- Irregular
529+- ```
530+ p:q
531+ ```
532+ {% /table %}
559533
560534#### AST
561535
@@ -600,30 +574,27 @@ Combine a new noun with the subject.
600574
601575Two arguments, fixed.
602576
603−<table>
604−<tr><th>Form</th><th>Syntax</th></tr>
605−<tr>
606−<td>Tall</td>
607−<td>
608−<pre>
609−=+ p
610−q
611−</pre>
612−</td>
613−</tr>
614−<tr>
615−<td>Wide</td>
616−<td>
617−<pre>
618−=+(p q)
619−</pre>
620−</td>
621−</tr>
622−<tr>
623−<td>Irregular</td>
624−<td>None.</td>
625−</tr>
626−</table>
577+{% table %}
578+
579+- Form
580+- Syntax
581+
582+---
583+
584+- Tall
585+- ```hoon
586+ =+ p
587+ q
588+ ```
589+ ***
590+- Wide
591+- ```hoon
592+ =+(p q)
593+ ```
594+ ***
595+- Irregular
596+- None.
597+ {% /table %}
627598
628599#### AST
629600
@@ -669,31 +640,28 @@ order.
669640
670641Three arguments, fixed.
671642
672−<table>
673−<tr><th>Form</th><th>Syntax</th></tr>
674−<tr>
675−<td>Tall</td>
676−<td>
677−<pre>
678−=; p
679− q
680−r
681−</pre>
682−</td>
683−</tr>
684−<tr>
685−<td>Wide</td>
686−<td>
687−<pre>
688−=;(p q r)
689−</pre>
690−</td>
691−</tr>
692−<tr>
693−<td>Irregular</td>
694−<td>None.</td>
695−</tr>
696−</table>
643+{% table %}
644+
645+- Form
646+- Syntax
647+
648+---
649+
650+- Tall
651+- ```hoon
652+ =; p
653+ q
654+ r
655+ ```
656+ ***
657+- Wide
658+- ```hoon
659+ =;(p q r)
660+ ```
661+ ***
662+- Irregular
663+- None.
664+ {% /table %}
697665
698666#### AST
699667
@@ -734,31 +702,28 @@ Combine a named noun with the subject, possibly with type annotation.
734702
735703Three arguments, fixed.
736704
737−<table>
738−<tr><th>Form</th><th>Syntax</th></tr>
739−<tr>
740−<td>Tall</td>
741−<td>
742−<pre>
743−=/ p
744− q
745−r
746−</pre>
747−</td>
748−</tr>
749−<tr>
750−<td>Wide</td>
751−<td>
752−<pre>
753−=/(p q r)
754−</pre>
755−</td>
756−</tr>
757−<tr>
758−<td>Irregular</td>
759−<td>None.</td>
760−</tr>
761−</table>
705+{% table %}
706+
707+- Form
708+- Syntax
709+
710+---
711+
712+- Tall
713+- ```hoon
714+ =/ p
715+ q
716+ r
717+ ```
718+ ***
719+- Wide
720+- ```hoon
721+ =/(p q r)
722+ ```
723+ ***
724+- Irregular
725+- None.
726+ {% /table %}
762727
763728#### AST
764729
@@ -823,33 +788,30 @@ Compose many expressions.
823788
824789Variable number of arguments.
825790
826−<table>
827−<tr><th>Form</th><th>Syntax</th></tr>
828−<tr>
829−<td>Tall</td>
830−<td>
831−<pre>
832−=~ p1
833− p2
834− p3
835− pn
836−==
837−</pre>
838−</td>
839−</tr>
840−<tr>
841−<td>Wide</td>
842−<td>
843−<pre>
844−=~(p1 p2 p3 pn)
845−</pre>
846−</td>
847−</tr>
848−<tr>
849−<td>Irregular</td>
850−<td>None.</td>
851−</tr>
852−</table>
791+{% table %}
792+
793+- Form
794+- Syntax
795+
796+---
797+
798+- Tall
799+- ```hoon
800+ =~ p1
801+ p2
802+ p3
803+ pn
804+ ==
805+ ```
806+ ***
807+- Wide
808+- ```hoon
809+ =~(p1 p2 p3 pn)
810+ ```
811+ ***
812+- Irregular
813+- None.
814+ {% /table %}
853815
854816#### AST
855817
@@ -902,31 +864,28 @@ Define a deferred expression.
902864
903865Three arguments, fixed.
904866
905−<table>
906−<tr><th>Form</th><th>Syntax</th></tr>
907−<tr>
908−<td>Tall</td>
909−<td>
910−<pre>
911−=* p
912− q
913−r
914−</pre>
915−</td>
916−</tr>
917−<tr>
918−<td>Wide</td>
919−<td>
920−<pre>
921−=*(p q r)
922−</pre>
923−</td>
924−</tr>
925−<tr>
926−<td>Irregular</td>
927−<td>None.</td>
928−</tr>
929−</table>
867+{% table %}
868+
869+- Form
870+- Syntax
871+
872+---
873+
874+- Tall
875+- ```hoon
876+ =* p
877+ q
878+ r
879+ ```
880+ ***
881+- Wide
882+- ```hoon
883+ =*(p q r)
884+ ```
885+ ***
886+- Irregular
887+- None.
888+ {% /table %}
930889
931890#### AST
932891
@@ -983,31 +942,28 @@ Conditionally change one leg in the subject.
983942
984943Four arguments, fixed.
985944
986−<table>
987−<tr><th>Form</th><th>Syntax</th></tr>
988−<tr>
989−<td>Tall</td>
990−<td>
991−<pre>
992−=? p q
993− r
994−s
995−</pre>
996−</td>
997−</tr>
998−<tr>
999−<td>Wide</td>
1000−<td>
1001−<pre>
1002−=?(p q r s)
1003−</pre>
1004−</td>
1005−</tr>
1006−<tr>
1007−<td>Irregular</td>
1008−<td>None.</td>
1009−</tr>
1010−</table>
945+{% table %}
946+
947+- Form
948+- Syntax
949+
950+---
951+
952+- Tall
953+- ```hoon
954+ =? p q
955+ r
956+ s
957+ ```
958+ ***
959+- Wide
960+- ```hoon
961+ =?(p q r s)
962+ ```
963+ ***
964+- Irregular
965+- None.
966+ {% /table %}
1011967
1012968#### AST
1013969
content/docs/hoon/reference/rune/wut.md+322−373
@@ -39,37 +39,32 @@ Logical OR.
3939
4040Variable number of arguments.
4141
42−<table>
43−<tr><th>Form</th><th>Syntax</th></tr>
44−<tr>
45−<td>Tall</td>
46−<td>
47−<pre>
48−?| p1
49− p2
50− p3
51− pn
52−==
53−</pre>
54−</td>
55−</tr>
56−<tr>
57−<td>Wide</td>
58−<td>
59−<pre>
60−?|(p1 p2 p3 pn)
61−</pre>
62−</td>
63−</tr>
64−<tr>
65−<td>Irregular</td>
66−<td>
67−<pre>
68−|(p1 p2 p3 pn)
69−</pre>
70−</td>
71−</tr>
72−</table>
42+{% table %}
43+
44+- Form
45+- Syntax
46+
47+---
48+
49+- Tall
50+- ```hoon
51+ ?| p1
52+ p2
53+ p3
54+ pn
55+ ==
56+ ```
57+ ***
58+- Wide
59+- ```hoon
60+ ?|(p1 p2 p3 pn)
61+ ```
62+ ***
63+- Irregular
64+- ```hoon
65+ |(p1 p2 p3 pn)
66+ ```
67+ {% /table %}
7368
7469#### AST
7570
@@ -121,50 +116,44 @@ Switch against a union, with no default.
121116
122117One fixed argument, then a variable number of pairs.
123118
124−<table>
125−<tr><th>Form</th><th>Syntax</th></tr>
126−<tr>
127−<td>Tall style #1</td>
128−<td>
129−<pre>
130−?- p
131− q1a q1b
132− q2a q2b
133− qna qnb
134−==
135−</pre>
136−</td>
137−</tr>
138−<tr>
139−<td>Tall style #2</td>
140−<td>
141−<pre>
142−?- p
143− q1a
144− q1b
145−::
146− q2a
147− q2b
148−::
149− qna
150− qnb
151−==
152−</pre>
153−</td>
154−</tr>
155−<tr>
156−<td>Wide</td>
157−<td>
158−<pre>
159−?-(p q1a q1b, q2a q2b, qna qnb)
160−</pre>
161−</td>
162−</tr>
163−<tr>
164−<td>Irregular</td>
165−<td>None.</td>
166−</tr>
167−</table>
119+{% table %}
120+
121+- Form
122+- Syntax
123+
124+---
125+
126+- Tall style #1
127+- ```hoon
128+ ?- p
129+ q1a q1b
130+ q2a q2b
131+ qna qnb
132+ ==
133+ ```
134+ ***
135+- Tall style #2
136+- ```hoon
137+ ?- p
138+ q1a
139+ q1b
140+ ::
141+ q2a
142+ q2b
143+ ::
144+ qna
145+ qnb
146+ ==
147+ ```
148+ ***
149+- Wide
150+- ```hoon
151+ ?-(p q1a q1b, q2a q2b, qna qnb)
152+ ```
153+ ***
154+- Irregular
155+- None.
156+ {% /table %}
168157
169158#### AST
170159
@@ -237,31 +226,28 @@ Branch on a boolean test.
237226
238227Three arguments, fixed.
239228
240−<table>
241−<tr><th>Form</th><th>Syntax</th></tr>
242−<tr>
243−<td>Tall</td>
244−<td>
245−<pre>
246−?: p
247− q
248−r
249−</pre>
250−</td>
251−</tr>
252−<tr>
253−<td>Wide</td>
254−<td>
255−<pre>
256−?:(p q r)
257−</pre>
258−</td>
259−</tr>
260−<tr>
261−<td>Irregular</td>
262−<td>None.</td>
263−</tr>
264−</table>
229+{% table %}
230+
231+- Form
232+- Syntax
233+
234+---
235+
236+- Tall
237+- ```hoon
238+ ?: p
239+ q
240+ r
241+ ```
242+ ***
243+- Wide
244+- ```hoon
245+ ?:(p q r)
246+ ```
247+ ***
248+- Irregular
249+- None.
250+ {% /table %}
265251
266252#### AST
267253
@@ -311,31 +297,28 @@ Branch on a boolean test, inverted.
311297
312298Three arguments, fixed.
313299
314−<table>
315−<tr><th>Form</th><th>Syntax</th></tr>
316−<tr>
317−<td>Tall</td>
318−<td>
319−<pre>
320−?. p
321− q
322−r
323−</pre>
324−</td>
325−</tr>
326−<tr>
327−<td>Wide</td>
328−<td>
329−<pre>
330−?.(p q r)
331−</pre>
332−</td>
333−</tr>
334−<tr>
335−<td>Irregular</td>
336−<td>None.</td>
337−</tr>
338−</table>
300+{% table %}
301+
302+- Form
303+- Syntax
304+
305+---
306+
307+- Tall
308+- ```hoon
309+ ?. p
310+ q
311+ r
312+ ```
313+ ***
314+- Wide
315+- ```hoon
316+ ?.(p q r)
317+ ```
318+ ***
319+- Irregular
320+- None.
321+ {% /table %}
339322
340323#### AST
341324
@@ -383,31 +366,28 @@ Branch on whether a wing of the subject is a cell.
383366
384367Three arguments, fixed.
385368
386−<table>
387−<tr><th>Form</th><th>Syntax</th></tr>
388−<tr>
389−<td>Tall</td>
390−<td>
391−<pre>
392−?^ p
393− q
394−r
395−</pre>
396−</td>
397−</tr>
398−<tr>
399−<td>Wide</td>
400−<td>
401−<pre>
402−?^(p q r)
403−</pre>
404−</td>
405−</tr>
406−<tr>
407−<td>Irregular</td>
408−<td>None.</td>
409−</tr>
410−</table>
369+{% table %}
370+
371+- Form
372+- Syntax
373+
374+---
375+
376+- Tall
377+- ```hoon
378+ ?^ p
379+ q
380+ r
381+ ```
382+ ***
383+- Wide
384+- ```hoon
385+ ?^(p q r)
386+ ```
387+ ***
388+- Irregular
389+- None.
390+ {% /table %}
411391
412392#### AST
413393
@@ -451,30 +431,27 @@ Negative assertion.
451431
452432Two arguments, fixed.
453433
454−<table>
455−<tr><th>Form</th><th>Syntax</th></tr>
456−<tr>
457−<td>Tall</td>
458−<td>
459−<pre>
460−?< p
461−q
462−</pre>
463−</td>
464−</tr>
465−<tr>
466−<td>Wide</td>
467−<td>
468−<pre>
469−?<(p q)
470−</pre>
471−</td>
472−</tr>
473−<tr>
474−<td>Irregular</td>
475−<td>None.</td>
476−</tr>
477−</table>
434+{% table %}
435+
436+- Form
437+- Syntax
438+
439+---
440+
441+- Tall
442+- ```hoon
443+ ?< p
444+ q
445+ ```
446+ ***
447+- Wide
448+- ```hoon
449+ ?<(p q)
450+ ```
451+ ***
452+- Irregular
453+- None.
454+ {% /table %}
478455
479456#### AST
480457
@@ -522,30 +499,27 @@ Positive assertion.
522499
523500Two arguments, fixed.
524501
525−<table>
526−<tr><th>Form</th><th>Syntax</th></tr>
527−<tr>
528−<td>Tall</td>
529−<td>
530−<pre>
531−?> p
532−q
533−</pre>
534−</td>
535−</tr>
536−<tr>
537−<td>Wide</td>
538−<td>
539−<pre>
540−?>(p q)
541−</pre>
542−</td>
543−</tr>
544−<tr>
545−<td>Irregular</td>
546−<td>None.</td>
547−</tr>
548−</table>
502+{% table %}
503+
504+- Form
505+- Syntax
506+
507+---
508+
509+- Tall
510+- ```hoon
511+ ?> p
512+ q
513+ ```
514+ ***
515+- Wide
516+- ```hoon
517+ ?>(p q)
518+ ```
519+ ***
520+- Irregular
521+- None.
522+ {% /table %}
549523
550524#### AST
551525
@@ -593,50 +567,44 @@ Switch against a union, with a default.
593567
594568Two fixed arguments, then a variable number of pairs.
595569
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>
570+{% table %}
571+
572+- Form
573+- Syntax
574+
575+---
576+
577+- Tall style #1
578+- ```hoon
579+ ?+ p q
580+ r1a r1b
581+ r2a r2b
582+ rna rnb
583+ ==
584+ ```
585+ ***
586+- Tall style #2
587+- ```hoon
588+ ?+ p q
589+ r1a
590+ r1b
591+ ::
592+ r2a
593+ r2b
594+ ::
595+ rna
596+ rnb
597+ ==
598+ ```
599+ ***
600+- Wide
601+- ```hoon
602+ ?+(p q r1a r1b, r2a r2b, rna rnb)
603+ ```
604+ ***
605+- Irregular
606+- None.
607+ {% /table %}
640608
641609#### AST
642610
@@ -705,36 +673,31 @@ Logical AND.
705673
706674Variable arguments.
707675
708−<table>
709−<tr><th>Form</th><th>Syntax</th></tr>
710−<tr>
711−<td>Tall</td>
712−<td>
713−<pre>
714−?& p1
715− p2
716− pn
717−==
718−</pre>
719−</td>
720−</tr>
721−<tr>
722−<td>Wide</td>
723−<td>
724−<pre>
725−?&(p1 p2 pn)
726−</pre>
727−</td>
728−</tr>
729−<tr>
730−<td>Irregular</td>
731−<td>
732−<pre>
733−&(p1 p2 pn)
734−</pre>
735−</td>
736−</tr>
737−</table>
676+{% table %}
677+
678+- Form
679+- Syntax
680+
681+---
682+
683+- Tall
684+- ```hoon
685+ ?& p1
686+ p2
687+ pn
688+ ==
689+ ```
690+ ***
691+- Wide
692+- ```hoon
693+ ?&(p1 p2 pn)
694+ ```
695+ ***
696+- Irregular
697+- ```
698+ &(p1 p2 pn)
699+ ```
700+ {% /table %}
738701
739702#### AST
740703
@@ -786,31 +749,28 @@ Branch on whether a wing of the subject is an atom.
786749
787750Three arguments, fixed.
788751
789−<table>
790−<tr><th>Form</th><th>Syntax</th></tr>
791−<tr>
792−<td>Tall</td>
793−<td>
794−<pre>
795−?@ p
796− q
797−r
798−</pre>
799−</td>
800−</tr>
801−<tr>
802−<td>Wide</td>
803−<td>
804−<pre>
805−?@(p q r)
806−</pre>
807−</td>
808−</tr>
809−<tr>
810−<td>Irregular</td>
811−<td>None.</td>
812−</tr>
813−</table>
752+{% table %}
753+
754+- Form
755+- Syntax
756+
757+---
758+
759+- Tall
760+- ```hoon
761+ ?@ p
762+ q
763+ r
764+ ```
765+ ***
766+- Wide
767+- ```hoon
768+ ?@(p q r)
769+ ```
770+ ***
771+- Irregular
772+- None.
773+ {% /table %}
814774
815775#### AST
816776
@@ -858,31 +818,28 @@ Branch on whether a wing of the subject is null.
858818
859819Three arguments, fixed.
860820
861−<table>
862−<tr><th>Form</th><th>Syntax</th></tr>
863−<tr>
864−<td>Tall</td>
865−<td>
866−<pre>
867−?~ p
868− q
869−r
870−</pre>
871−</td>
872−</tr>
873−<tr>
874−<td>Wide</td>
875−<td>
876−<pre>
877−?~(p q r)
878−</pre>
879−</td>
880−</tr>
881−<tr>
882−<td>Irregular</td>
883−<td>None.</td>
884−</tr>
885−</table>
821+{% table %}
822+
823+- Form
824+- Syntax
825+
826+---
827+
828+- Tall
829+- ```hoon
830+ ?~ p
831+ q
832+ r
833+ ```
834+ ***
835+- Wide
836+- ```hoon
837+ ?~(p q r)
838+ ```
839+ ***
840+- Irregular
841+- None.
842+ {% /table %}
886843
887844#### AST
888845
@@ -924,30 +881,27 @@ Test pattern match.
924881
925882Two arguments, fixed.
926883
927−<table>
928−<tr><th>Form</th><th>Syntax</th></tr>
929−<tr>
930−<td>Tall</td>
931−<td>
932−<pre>
933−?= p
934−q
935−</pre>
936−</td>
937−</tr>
938−<tr>
939−<td>Wide</td>
940−<td>
941−<pre>
942−?=(p q)
943−</pre>
944−</td>
945−</tr>
946−<tr>
947−<td>Irregular</td>
948−<td>None.</td>
949−</tr>
950−</table>
884+{% table %}
885+
886+- Form
887+- Syntax
888+
889+---
890+
891+- Tall
892+- ```hoon
893+ ?= p
894+ q
895+ ```
896+ ***
897+- Wide
898+- ```hoon
899+ ?=(p q)
900+ ```
901+ ***
902+- Irregular
903+- None.
904+ {% /table %}
951905
952906#### AST
953907
@@ -992,33 +946,28 @@ Logical NOT.
992946
993947One argument, fixed.
994948
995−<table>
996−<tr><th>Form</th><th>Syntax</th></tr>
997−<tr>
998−<td>Tall</td>
999−<td>
1000−<pre>
1001−?! p
1002−</pre>
1003−</td>
1004−</tr>
1005−<tr>
1006−<td>Wide</td>
1007−<td>
1008−<pre>
1009−?!(p)
1010−</pre>
1011−</td>
1012−</tr>
1013−<tr>
1014−<td>Irregular</td>
1015−<td>
1016−<pre>
1017−!p
1018−</pre>
1019−</td>
1020−</tr>
1021−</table>
949+{% table %}
950+
951+- Form
952+- Syntax
953+
954+---
955+
956+- Tall
957+- ```hoon
958+ ?! p
959+ ```
960+ ***
961+- Wide
962+- ```hoon
963+ ?!(p)
964+ ```
965+ ***
966+- Irregular
967+- ```hoon
968+ !p
969+ ```
970+ {% /table %}
1022971
1023972#### AST
1024973
content/docs/hoon/reference/rune/zap.md+206−236
@@ -13,30 +13,27 @@ Produce the Hoon AST of an expression.
1313
1414Two arguments, fixed.
1515
16−<table>
17−<tr><th>Form</th><th>Syntax</th></tr>
18−<tr>
19−<td>Tall</td>
20−<td>
21−<pre>
22−!, p
23−q
24−</pre>
25−</td>
26−</tr>
27−<tr>
28−<td>Wide</td>
29−<td>
30−<pre>
31−!,(p q)
32−</pre>
33−</td>
34−</tr>
35−<tr>
36−<td>Irregular</td>
37−<td>None.</td>
38−</tr>
39−</table>
16+{% table %}
17+
18+- Form
19+- Syntax
20+
21+---
22+
23+- Tall
24+- ```hoon
25+ !, p
26+ q
27+ ```
28+ ***
29+- Wide
30+- ```hoon
31+ !,(p q)
32+ ```
33+ ***
34+- Irregular
35+- None.
36+ {% /table %}
4037
4138#### AST
4239
@@ -71,29 +68,26 @@ Wrap a noun in its type (form a [`vase`](/docs/hoon/reference/stdlib/4o#vase)).
7168
7269One argument, fixed.
7370
74−<table>
75−<tr><th>Form</th><th>Syntax</th></tr>
76−<tr>
77−<td>Tall</td>
78−<td>
79−<pre>
80−!> p
81−</pre>
82−</td>
83−</tr>
84−<tr>
85−<td>Wide</td>
86−<td>
87−<pre>
88−!>(p)
89−</pre>
90−</td>
91−</tr>
92−<tr>
93−<td>Irregular</td>
94−<td>None.</td>
95−</tr>
96−</table>
71+{% table %}
72+
73+- Form
74+- Syntax
75+
76+---
77+
78+- Tall
79+- ```hoon
80+ !> p
81+ ```
82+ ***
83+- Wide
84+- ```hoon
85+ !>(p)
86+ ```
87+ ***
88+- Irregular
89+- None.
90+ {% /table %}
9791
9892#### AST
9993
@@ -136,30 +130,27 @@ its type nests.
136130
137131Two arguments, fixed.
138132
139−<table>
140−<tr><th>Form</th><th>Syntax</th></tr>
141−<tr>
142−<td>Tall</td>
143−<td>
144−<pre>
145−!< p
146−q
147−</pre>
148−</td>
149−</tr>
150−<tr>
151−<td>Wide</td>
152−<td>
153−<pre>
154−!<(p q)
155−</pre>
156−</td>
157−</tr>
158−<tr>
159−<td>Irregular</td>
160−<td>None.</td>
161−</tr>
162−</table>
133+{% table %}
134+
135+- Form
136+- Syntax
137+
138+---
139+
140+- Tall
141+- ```hoon
142+ !< p
143+ q
144+ ```
145+ ***
146+- Wide
147+- ```hoon
148+ !<(p q)
149+ ```
150+ ***
151+- Irregular
152+- None.
153+ {% /table %}
163154
164155#### AST
165156
@@ -200,30 +191,27 @@ Wrap a noun in its type (raw).
200191
201192Two arguments, fixed.
202193
203−<table>
204−<tr><th>Form</th><th>Syntax</th></tr>
205−<tr>
206−<td>Tall</td>
207−<td>
208−<pre>
209−!; p
210−q
211−</pre>
212−</td>
213−</tr>
214−<tr>
215−<td>Wide</td>
216−<td>
217−<pre>
218−!;(p q)
219−</pre>
220−</td>
221−</tr>
222−<tr>
223−<td>Irregular</td>
224−<td>None.</td>
225−</tr>
226−</table>
194+{% table %}
195+
196+- Form
197+- Syntax
198+
199+---
200+
201+- Tall
202+- ```hoon
203+ !; p
204+ q
205+ ```
206+ ***
207+- Wide
208+- ```hoon
209+ !;(p q)
210+ ```
211+ ***
212+- Irregular
213+- None.
214+ {% /table %}
227215
228216#### AST
229217
@@ -265,29 +253,26 @@ Make the Nock formula for a Hoon expression.
265253
266254One argument, fixed.
267255
268−<table>
269−<tr><th>Form</th><th>Syntax</th></tr>
270−<tr>
271−<td>Tall</td>
272−<td>
273−<pre>
274−!= p
275−</pre>
276−</td>
277−</tr>
278−<tr>
279−<td>Wide</td>
280−<td>
281−<pre>
282−!=(p)
283−</pre>
284−</td>
285−</tr>
286−<tr>
287−<td>Irregular</td>
288−<td>None.</td>
289−</tr>
290−</table>
256+{% table %}
257+
258+- Form
259+- Syntax
260+
261+---
262+
263+- Tall
264+- ```hoon
265+ != p
266+ ```
267+ ***
268+- Wide
269+- ```hoon
270+ !=(p)
271+ ```
272+ ***
273+- Irregular
274+- None.
275+ {% /table %}
291276
292277#### AST
293278
@@ -339,30 +324,27 @@ Restrict Hoon version.
339324
340325Two arguments, fixed.
341326
342−<table>
343−<tr><th>Form</th><th>Syntax</th></tr>
344−<tr>
345−<td>Tall</td>
346−<td>
347−<pre>
348−!? p
349−q
350−</pre>
351−</td>
352−</tr>
353−<tr>
354−<td>Wide</td>
355−<td>
356−<pre>
357−!?(p q)
358−</pre>
359−</td>
360−</tr>
361−<tr>
362−<td>Irregular</td>
363−<td>None.</td>
364−</tr>
365−</table>
327+{% table %}
328+
329+- Form
330+- Syntax
331+
332+---
333+
334+- Tall
335+- ```hoon
336+ !? p
337+ q
338+ ```
339+ ***
340+- Wide
341+- ```hoon
342+ !?(p q)
343+ ```
344+ ***
345+- Irregular
346+- None.
347+ {% /table %}
366348
367349#### AST
368350
@@ -405,31 +387,28 @@ Branch on whether a wing exists.
405387
406388Three arguments, fixed.
407389
408−<table>
409−<tr><th>Form</th><th>Syntax</th></tr>
410−<tr>
411−<td>Tall</td>
412−<td>
413−<pre>
414−!@ p
415− q
416−r
417−</pre>
418−</td>
419−</tr>
420−<tr>
421−<td>Wide</td>
422−<td>
423−<pre>
424−!@(p q r)
425−</pre>
426−</td>
427−</tr>
428−<tr>
429−<td>Irregular</td>
430−<td>None.</td>
431−</tr>
432−</table>
390+{% table %}
391+
392+- Form
393+- Syntax
394+
395+---
396+
397+- Tall
398+- ```hoon
399+ !@ p
400+ q
401+ r
402+ ```
403+ ***
404+- Wide
405+- ```hoon
406+ !@(p q r)
407+ ```
408+ ***
409+- Irregular
410+- None.
411+ {% /table %}
433412
434413#### AST
435414
@@ -464,29 +443,26 @@ Crash.
464443
465444No arguments.
466445
467−<table>
468−<tr><th>Form</th><th>Syntax</th></tr>
469−<tr>
470−<td>Tall</td>
471−<td>
472−<pre>
473−!!
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>
446+{% table %}
447+
448+- Form
449+- Syntax
450+
451+---
452+
453+- Tall
454+- ```hoon
455+ !!
456+ ```
457+ ***
458+- Wide
459+- ```
460+ !!
461+ ```
462+ ***
463+- Irregular
464+- None.
465+ {% /table %}
490466
491467#### AST
492468
@@ -519,29 +495,26 @@ Turn on stack trace.
519495
520496One argument, fixed
521497
522−<table>
523−<tr><th>Form</th><th>Syntax</th></tr>
524−<tr>
525−<td>Tall</td>
526−<td>
527−<pre>
528−!: p
529−</pre>
530−</td>
531−</tr>
532−<tr>
533−<td>Wide</td>
534−<td>
535−<pre>
536−!:(p)
537−</pre>
538−</td>
539−</tr>
540−<tr>
541−<td>Irregular</td>
542−<td>None.</td>
543−</tr>
544−</table>
498+{% table %}
499+
500+- Form
501+- Syntax
502+
503+---
504+
505+- Tall
506+- ```hoon
507+ !: p
508+ ```
509+ ***
510+- Wide
511+- ```hoon
512+ !:(p)
513+ ```
514+ ***
515+- Irregular
516+- None.
517+ {% /table %}
545518
546519#### Produces
547520
@@ -574,29 +547,26 @@ Turn off stack trace for a subexpression `p`
574547
575548One argument, fixed.
576549
577−<table>
578−<tr><th>Form</th><th>Syntax</th></tr>
579−<tr>
580−<td>Tall</td>
581−<td>
582−<pre>
583−!. p
584−</pre>
585−</td>
586−</tr>
587−<tr>
588−<td>Wide</td>
589−<td>
590−<pre>
591−!.(p)
592−</pre>
593−</td>
594−</tr>
595−<tr>
596−<td>Irregular</td>
597−<td>None.</td>
598−</tr>
599−</table>
550+{% table %}
551+
552+- Form
553+- Syntax
554+
555+---
556+
557+- Tall
558+- ```hoon
559+ !. p
560+ ```
561+ ***
562+- Wide
563+- ```hoon
564+ !.(p)
565+ ```
566+ ***
567+- Irregular
568+- None.
569+ {% /table %}
600570
601571#### Produces
602572