git.iko.soy/urbit.org
on master help sign in
docs: convert all inline HTML tables to markdoc
a7a9ce0Matilde Park
content/docs/azimuth/l2/roller-tutorial.md+11−50
compare with master
unifiedsplit
@@ -159,53 +159,14 @@ set up at `https://myroller.sampel-pal.net`.
159rate at which transactions are submitted and manually submitting batches. These
159rate at which transactions are submitted and manually submitting batches. These
160can be modified using the following generators:
160can be modified using the following generators:
161
161
162−<table>
163− <thead><tr><th>Dojo Command</th><th>Description</th><th>Argument</th></tr></thead>
162+| Dojo Command | Description | Argument |
164−<tbody>
163+| -------------------- | --------------------------------------------------------------------- | ---------------------------------- |
165− <tr>
166− <td><code>:roller|commit</code></td>
167− <td>Submits a new L2 batch with all pending transactions.</td>
164+| `:roller\|commit` | Submits a new L2 batch with all pending transactions. | None. |
168− <td>None.</td>
169− </tr>
170− <tr>
171− <td><code>:roller|config</code></td>
172− <td>General configuration command.</td>
165+| `:roller\|config` | General configuration command. | `$config` (see `/sur/dice.hoon`) |
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>
166+| `:roller\|endpoint` | Set the Infura endpoint. | `[@t ?(%mainnet %ropsten %local)]` |
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>
167+| `:roller\|frequency` | Sets the frequency at which batches are submitted. | `@dr` |
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>
168+| `:roller\|local` | Configures `%roller` to listen to a local Ethereum node at port 8545. | None. |
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>
169+| `:roller\|quota` | Modified the number of txs a ship is allowed to send per unit time. | `@ud` |
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>
170+| `:roller\|ropsten` | Configure `%roller` to listen to a preset Ropsten Infura node. | None. |
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>
171+| `:roller\|setkey` | Load a private key into the roller and retrieves its L1 nonce. | `@t` |
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>
172+| `:roller\|slice` | Modified the unit of time for each ship's quota. | `@dr` |
208− <td><code>@dr</code></td>
209− </tr>
210−</tbody>
211−</table>
content/docs/hoon/guides/sail.md+249−164
@@ -18,40 +18,48 @@ This document will walk through the basics of Sail and its syntax.
18
18
19It’s easy to see how Sail can directly translate to HTML:
19It’s easy to see how Sail can directly translate to HTML:
20
20
21−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead>
21+{% table %}
22−<tbody><tr><td><pre class="language-hoon">
22+
23+- Sail
24+- HTML
25+
26+---
27+
28+- ```
23−;html
29+ ;html
24− ;head
30+ ;head
25− ;title: My page
31+ ;title: My page
26− ;meta(charset "utf-8");
32+ ;meta(charset "utf-8");
27− ==
33+ ==
28− ;body
34+ ;body
29− ;h1: Welcome!
35+ ;h1: Welcome!
30− ;p
36+ ;p
31− ; Hello, world!
37+ ; Hello, world!
32− ; Welcome to my page.
38+ ; Welcome to my page.
33− ; Here is an image:
39+ ; Here is an image:
34− ;br;
40+ ;br;
35− ;img@"/foo.png";
41+ ;img@"/foo.png";
42+ ==
36 ==
43 ==
37 ==
44 ==
38−==
45+ ```
39−</pre></td><td><pre>
46+- ```
40−&#x26;&#x6C;&#x74;&#x3B;html>
47+ <html>
41− &#x26;&#x6C;&#x74;&#x3B;head>
48+ <head>
42− &#x26;&#x6C;&#x74;&#x3B;title>My page&#x26;&#x6C;&#x74;&#x3B;/title>
49+ <title>My page</title>
43− &#x26;&#x6C;&#x74;&#x3B;meta charset="utf-8" />
50+ <meta charset="utf-8" />
44− &#x26;&#x6C;&#x74;&#x3B;/head>
51+ </head>
45− &#x26;&#x6C;&#x74;&#x3B;body>
52+ <body>
46− &#x26;&#x6C;&#x74;&#x3B;h1>Welcome!&#x26;&#x6C;&#x74;&#x3B;/h1>
53+ <h1>Welcome!</h1>
47− &#x26;&#x6C;&#x74;&#x3B;p>Hello, world! Welcome to my
54+ <p>Hello, world! Welcome to my
48− page. Here is an image:
55+ page. Here is an image:
49− &#x26;&#x6C;&#x74;&#x3B;br />
56+ <br />
50− &#x26;&#x6C;&#x74;&#x3B;img src="/foo.png" />
57+ <img src="/foo.png" />
51− &#x26;&#x6C;&#x74;&#x3B;/p>
58+ </p>
52− &#x26;&#x6C;&#x74;&#x3B;/body>
59+ </body>
53−&#x26;&#x6C;&#x74;&#x3B;/html>
60+ </html>
61+ ```
54−</pre></td></tr></tbody></table>
62+ {% /table %}
55
63
56## Tags and Closing
64## Tags and Closing
57
65
@@ -63,17 +71,17 @@ close expressions; Sail inherits this convenience.
63### Empty
71### Empty
64
72
65Empty tags are closed with a `;` following the tag. For example, `;div;` will be
73Empty 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
74+rendered as `<div></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" />`.
75+particular will be rendered as a single tag like `<br />` and `<img src="some-url" />`.
68
76
69### Filled
77### Filled
70
78
71Filled tags are closed via line-break. To fill text inside, add `:` after the
79Filled tags are closed via line-break. To fill text inside, add `:` after the
72tag name, then insert your plain text following a space. Example:
80tag name, then insert your plain text following a space. Example:
73
81
74−| Sail | HTML |
82+| Sail | HTML |
75−| ---------------- | -------------------------- |
83+| ---------------- | -------------------- |
76−| `;h1: The title` | `&lt;h1>The title&lt;/h1>` |
84+| `;h1: The title` | `<h1>The title</h1>` |
77
85
78### Nested
86### Nested
79
87
@@ -81,41 +89,57 @@ To nest tags, simply create a new line. Nested tags need to be closed with `==`,
81because they expect a list of sub-tags.
89because they expect a list of sub-tags.
82
90
83If we nest lines of plain text with no tag, the text will be wrapped in a
91If 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
92+`<p>` tag. Additionally, any text with atom auras or `++arm:syntax` in such
85−plain text lines will be wrapped in `&lt;code>` tags.
93+plain text lines will be wrapped in `<code>` tags.
86
94
87Example:
95Example:
88
96
89−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
97+{% table %}
90−<pre class="language-hoon">
98+
99+- Sail
100+- HTML
101+
102+---
103+
104+- ```
91−;body
105+ ;body
92− ;h1: Blog title
106+ ;h1: Blog title
93− This is some good content.
107+ This is some good content.
94−==
108+ ==
95−</pre></td><td><pre>
109+ ```
110+- ```
96−&#x26;&#x6C;&#x74;&#x3B;body>
111+ <body>
97− &#x26;&#x6C;&#x74;&#x3B;h1>Blog title&#x26;&#x6C;&#x74;&#x3B;/h1>
112+ <h1>Blog title</h1>
98− &#x26;&#x6C;&#x74;&#x3B;p>This is some good content.&#x26;&#x6C;&#x74;&#x3B;/p>
113+ <p>This is some good content.</p>
99−&#x26;&#x6C;&#x74;&#x3B;/body>
114+ </body>
115+ ```
100−</pre></td></tr></tbody></table>
116+ {% /table %}
101
117
102If we want to write a string with no tag at all, then we can prepend
118If we want to write a string with no tag at all, then we can prepend
103those untagged lines with `;` and then a space:
119those untagged lines with `;` and then a space:
104
120
105−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
121+{% table %}
106−<pre class="language-hoon">
122+
123+- Sail
124+- HTML
125+
126+---
127+
128+- ```
107−;body
129+ ;body
108− ;h1: Welcome!
130+ ;h1: Welcome!
109− ; Hello, world!
131+ ; Hello, world!
110− ; We’re on the web.
132+ ; We’re on the web.
111−==
133+ ==
112−</pre></td><td><pre>
134+ ```
135+- ```
113−&#x26;&#x6C;&#x74;&#x3B;body>
136+ <body>
114− &#x26;&#x6C;&#x74;&#x3B;h1>Welcome!&#x26;&#x6C;&#x74;&#x3B;/h1>
137+ <h1>Welcome!</h1>
115− Hello, world!
138+ Hello, world!
116− We’re on the web.
139+ We’re on the web.
117−&#x26;&#x6C;&#x74;&#x3B;/body>
140+ </body>
141+ ```
118−</pre></td></tr></tbody></table>
142+ {% /table %}
119
143
120## Attributes
144## Attributes
121
145
@@ -129,78 +153,99 @@ shown below.
129
153
130### Generic
154### Generic
131
155
132−<table><thead><tr><th>Form</th><th>Example</th></tr></thead><tbody>
156+{% table %}
133−<tr><td>Wide</td><td><pre class="language-hoon">
157+
158+- Form
159+- Example
160+
161+---
162+
163+- Wide
164+- ```
134−;div(title "a tooltip", style "color:red")
165+ ;div(title "a tooltip", style "color:red")
135− ;h1: Foo
166+ ;h1: Foo
136− foo bar baz
167+ foo bar baz
137−==
168+ ==
138−</pre></td></tr>
169+ ```
139−<tr><td>Tall</td><td><pre class="language-hoon">
170+ ***
171+- Tall
172+- ```
140−;div
173+ ;div
141− =title "a tooltip"
174+ =title "a tooltip"
142− =style "color:red"
175+ =style "color:red"
143− ;h1: Foo
176+ ;h1: Foo
144− foo bar baz
177+ foo bar baz
145−==
178+ ==
146−</pre></td></tr>
179+ ```
180+ ***
147−<tr><td>HTML</td><td><pre>
181+- HTML
182+- ```
148−&#x26;&#x6C;&#x74;&#x3B;div title="a tooltip" style="color:red">
183+ <div title="a tooltip" style="color:red">
149− &#x26;&#x6C;&#x74;&#x3B;h1>Foo&#x26;&#x6C;&#x74;&#x3B;/h1>
184+ <h1>Foo</h1>
150− &#x26;&#x6C;&#x74;&#x3B;p>foo bar baz &#x26;&#x6C;&#x74;&#x3B;/p>
185+ <p>foo bar baz </p>
151−&#x26;&#x6C;&#x74;&#x3B;/div>
186+ </div>
187+ ```
152−</pre></td></tr></tbody></table>
188+ {% /table %}
153
189
154### IDs
190### IDs
155
191
156Add `#` after tag name to add an ID:
192Add `#` after tag name to add an ID:
157
193
158−| Sail | HTML |
194+| Sail | HTML |
159−| ------------------- | ----------------------------------- |
195+| ------------------- | ----------------------------- |
160−| `;nav#header: Menu` | `&lt;nav id="header">Menu&lt;/nav>` |
196+| `;nav#header: Menu` | `<nav id="header">Menu</nav>` |
161
197
162### Classes
198### Classes
163
199
164Add `.` after tag name to add a class:
200Add `.` after tag name to add a class:
165
201
166−| Sail | HTML |
202+| Sail | HTML |
167−| ---------------------- | ---------------------------------------- |
203+| ---------------------- | ---------------------------------- |
168−| `;h1.text-blue: Title` | `&lt;h1 class="text-blue">Title&lt;/h1>` |
204+| `;h1.text-blue: Title` | `<h1 class="text-blue">Title</h1>` |
169
205
170For class values containing spaces, you can add additional `.`s like so:
206For class values containing spaces, you can add additional `.`s like so:
171
207
172−| Sail | HTML |
208+| Sail | HTML |
173−| ------------------- | --------------------------------------- |
209+| ------------------- | --------------------------------- |
174−| `;div.foo.bar.baz;` | `&lt;div class="foo bar baz">&lt;/div>` |
210+| `;div.foo.bar.baz;` | `<div class="foo bar baz"></div>` |
175
211
176Otherwise, if your class value does not conform to the allowed `@tas`
212Otherwise, if your class value does not conform to the allowed `@tas`
177characters, you must use the generic attribute syntax:
213characters, you must use the generic attribute syntax:
178
214
179−| Sail | HTML |
215+| Sail | HTML |
180−| ------------------------ | ----------------------------------- |
216+| ------------------------ | ----------------------------- |
181−| `;div(class "!!! !!!");` | `&lt;div class="!!! !!!">&lt;/div>` |
217+| `;div(class "!!! !!!");` | `<div class="!!! !!!"></div>` |
182
218
183### Images
219### Images
184
220
185Add `@` after the tag name to link your source:
221Add `@` after the tag name to link your source:
186
222
187−| Sail | HTML |
223+| Sail | HTML |
188−| --------------------- | ----------------------------- |
224+| --------------------- | -------------------------- |
189−| `;img@"example.png";` | `&lt;img src="example.png"/>` |
225+| `;img@"example.png";` | `<img src="example.png"/>` |
190
226
191To add attributes to the image, like size specifications, add the desired
227To add attributes to the image, like size specifications, add the desired
192attribute after the `"` of the image name and before the final `;` of the `img`
228attribute 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%");`.
194
230
195### Links
231### Links
196
232
197Add `/` after tag name to start an `href`.
233Add `/` after tag name to start an `href`.
198
234
199−<table><tr><th>Sail</th></tr><tr><td><pre class="language-hoon">
235+{% table %}
236+
237+- Sail
238+- HTML
239+
240+---
241+
242+- ```
200−;a/"urbit.org": A link to Urbit.org
243+ ;a/"urbit.org": A link to Urbit.org
201−</pre></td></tr><tr><th>HTML</th></tr><tr><td><pre>
244+ ```
245+- ```
202−&#x26;&#x6C;&#x74;&#x3B;a href="urbit.org">A link to Urbit.org&#x26;&#x6C;&#x74;&#x3B;/a>
246+ <a href="urbit.org">A link to Urbit.org</a>
247+ ```
203−</pre></td></tr></table>
248+ {% /table %}
204
249
205## Interpolation
250## Interpolation
206
251
@@ -208,29 +253,53 @@ The textual content of tags, despite not being enclosed in double-quotes, are
208actually tapes. This means they support interpolated Hoon expressions in the
253actually tapes. This means they support interpolated Hoon expressions in the
209usual manner. For example:
254usual manner. For example:
210
255
211−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
256+{% table %}
212−<pre class="language-hoon">
257+
258+- Sail
259+- HTML
260+
261+---
262+
263+- ```
213−=| =time
264+ =| =time
214−;p: foo {&#x26;&#x6C;&#x74;&#x3B;time>} bar
265+ ;p: foo {<time>} bar
215−</pre></td><td><pre>
266+ ```
267+- ```
216−&#x26;&#x6C;&#x74;&#x3B;p>foo ~2000.1.1 baz&#x26;&#x6C;&#x74;&#x3B;/p>
268+ <p>foo ~2000.1.1 baz</p>
269+ ```
217−</pre></td></tr></tbody></table>
270+ {% /table %}
218
271
219Likewise:
272Likewise:
220
273
221−<table><tr><th>Sail</th></tr><tr><td><pre class="language-hoon">
274+{% table .w-full %}
275+
276+- Sail
277+
278+---
279+
280+- ```
222−=/ txt=tape " bananas"
281+ =/ txt=tape " bananas"
223−;article
282+ ;article
224− ;b: {(a-co:co (mul 42 789))}
283+ ;b: {(a-co:co (mul 42 789))}
225− ; {txt}
284+ ; {txt}
226− {&#x26;&#x6C;&#x74;&#x3B;our>} {&#x26;&#x6C;&#x74;&#x3B;now>} {&#x26;&#x6C;&#x74;&#x3B;`@ux`(end 6 eny)>}
285+ {<our>} {<now>} {<`@ux`(end 6 eny)>}
227−==
286+ ==
228−</pre></td></tr><tr><th>HTML</th></tr><tr><td><pre>
287+ ```
288+ {% /table %}
289+
290+{% table .w-full %}
291+
292+- HTML
293+
294+---
295+
296+- ```
229−&#x26;&#x6C;&#x74;&#x3B;article>
297+ <article>
230− &#x26;&#x6C;&#x74;&#x3B;b>33138&#x26;&#x6C;&#x74;&#x3B;/b> bananas
298+ <b>33138</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>
299+ <p>~zod ~2022.2.21..09.54.21..5b63 0x9827.99c7.06f4.8ef9</p>
232−&#x26;&#x6C;&#x74;&#x3B;/article>
300+ </article>
301+ ```
233−</pre></td></tr></table>
302+ {% /table %}
234
303
235## A note on CSS
304## A note on CSS
236
305
@@ -316,7 +385,7 @@ elements, converting characters such as `>` to HTML entities. For example:
316> =z ;p(class "\"><script src=\"example.com/xxx.js"): <h1>FOO</h1>
385> =z ;p(class "\"><script src=\"example.com/xxx.js"): <h1>FOO</h1>
317
386
318> (crip (en-xml:html z))
387> (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>'
320```
389```
321
390
322### Marks
391### Marks
@@ -338,7 +407,7 @@ the resulting `tape` through `++crip`.
338- Type: `$manx`
407- Type: `$manx`
339
408
340The `%hymn` mark is intended to be used for complete HTML documents - having an
409The `%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
342the type level but it is assumed in certain mark conversion pathways. Eyre can
411the type level but it is assumed in certain mark conversion pathways. Eyre can
343automatically convert a `%hymn` to printed `%html` if it was requested through
412automatically convert a `%hymn` to printed `%html` if it was requested through
344Eyre's scry interface.
413Eyre's scry interface.
@@ -399,25 +468,33 @@ The [mictar rune](/docs/hoon/reference/rune/mic#-mictar) makes a `$marl` (a list
399of XML nodes) from a complex hoon expression. This rune lets you add many
468of XML nodes) from a complex hoon expression. This rune lets you add many
400elements inside another Sail element. For example:
469elements inside another Sail element. For example:
401
470
402−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
471+{% table %}
403−<pre class="language-hoon">
472+
473+- Sail
474+- HTML
475+
476+---
477+
478+- ```
404−=/ nums=(list @ud) (gulf 1 9)
479+ =/ nums=(list @ud) (gulf 1 9)
405−;p
480+ ;p
406− ;* %+ turn nums
481+ ;* %+ turn nums
407− |= n=@ud
482+ |= n=@ud
408− ?: =(0 (mod n 2))
483+ ?: =(0 (mod n 2))
409− ;sup: {(a-co:co n)}
484+ ;sup: {(a-co:co n)}
410− ;sub: {(a-co:co n)}
485+ ;sub: {(a-co:co n)}
411−==
486+ ==
412−</pre></td><td><pre>
487+ ```
413−&#x26;&#x6C;&#x74;&#x3B;p>
488+- ```
414− &#x26;&#x6C;&#x74;&#x3B;sub>1&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>2&#x26;&#x6C;&#x74;&#x3B;/sup>
489+ <p>
415− &#x26;&#x6C;&#x74;&#x3B;sub>3&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>4&#x26;&#x6C;&#x74;&#x3B;/sup>
490+ <sub>1</sub><sup>2</sup>
416− &#x26;&#x6C;&#x74;&#x3B;sub>5&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>6&#x26;&#x6C;&#x74;&#x3B;/sup>
491+ <sub>3</sub><sup>4</sup>
417− &#x26;&#x6C;&#x74;&#x3B;sub>7&#x26;&#x6C;&#x74;&#x3B;/sub>&#x26;&#x6C;&#x74;&#x3B;sup>8&#x26;&#x6C;&#x74;&#x3B;/sup>
492+ <sub>5</sub><sup>6</sup>
418− &#x26;&#x6C;&#x74;&#x3B;sub>9&#x26;&#x6C;&#x74;&#x3B;/sub>
493+ <sub>7</sub><sup>8</sup>
419−&#x26;&#x6C;&#x74;&#x3B;/p>
494+ <sub>9</sub>
495+ </p>
496+ ```
420−</pre></td></tr></tbody></table>
497+ {% /table %}
421
498
422### `;=` Mictis
499### `;=` Mictis
423
500
@@ -426,23 +503,31 @@ of XML nodes) from a series of `$manx`es. This is mostly useful if you want to
426make the list outside of an element and then be able to insert it afterwards.
503make the list outside of an element and then be able to insert it afterwards.
427For example:
504For example:
428
505
429−<table><thead><tr><th>Sail</th><th>HTML</th></tr></thead><tbody><tr><td>
506+{% table %}
430−<pre class="language-hoon">
507+
508+- Sail
509+- HTML
510+
511+---
512+
513+- ```
431−=/ paras=marl
514+ =/ paras=marl
432− ;= ;p: First node.
515+ ;= ;p: First node.
433− ;p: Second node.
516+ ;p: Second node.
434− ;p: Third node.
517+ ;p: Third node.
518+ ==
519+ ;main
520+ ;* paras
435 ==
521 ==
436−;main
522+ ```
437− ;* paras
523+- ```
438−==
439−</pre></td><td><pre>
440−&#x26;&#x6C;&#x74;&#x3B;main>
524+ <main>
441− &#x26;&#x6C;&#x74;&#x3B;p>First node.&#x26;&#x6C;&#x74;&#x3B;/p>
525+ <p>First node.</p>
442− &#x26;&#x6C;&#x74;&#x3B;p>Second node.&#x26;&#x6C;&#x74;&#x3B;/p>
526+ <p>Second node.</p>
443− &#x26;&#x6C;&#x74;&#x3B;p>Third node.&#x26;&#x6C;&#x74;&#x3B;/p>
527+ <p>Third node.</p>
444−&#x26;&#x6C;&#x74;&#x3B;/main>
528+ </main>
529+ ```
445−</pre></td></tr></tbody></table>
530+ {% /table %}
446
531
447### `;/` Micfas
532### `;/` Micfas
448
533
content/docs/hoon/overview.md+1−1
@@ -125,7 +125,7 @@ Hoon and Nock have several unusual properties:
125 converted to each other. Lisp dialects are also homoiconic, but Hoon
125 converted to each other. Lisp dialects are also homoiconic, but Hoon
126 and Nock are arguably even more so, since things like closures and the
126 and Nock are arguably even more so, since things like closures and the
127 environment are just Nock trees. We even have a statically typed
127 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
129 metacircularly with negligible performance overhead because of Urbit's
129 metacircularly with negligible performance overhead because of Urbit's
130 jet system. In Lisp "eval is evil" is a common saying but, in Urbit,
130 jet system. In Lisp "eval is evil" is a common saying but, in Urbit,
131 eval is a first-class feature.
131 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.
21
21
22Two arguments, fixed.
22Two arguments, fixed.
23
23
24−<table>
24+{% table %}
25+
26+- Form
25−<tr><th>Form</th><th>Syntax</th></tr>
27+- Syntax
26−<tr>
28+
29+---
30+
27−<td>Tall</td>
31+- Tall
28−<td>
32+- ```hoon
29−<pre>
30−|$ sample
33+ |$ sample
31−body
34+ body
32−</pre>
35+ ```
33−</td>
36+
34−</tr>
37+---
35−<tr>
38+
36−<td>Wide</td>
39+- Wide
37−<td>
40+- ```hoon
38−<pre>
39−|$(sample body)
41+ |$(sample body)
40−</pre>
42+ ```
41−</td>
43+
42−</tr>
44+---
43−<tr>
45+
44−<td>Irregular</td>
46+- Irregular
45−<td>None.</td>
47+- None.
46−</tr>
47−</table>
48+ {% /table %}
48
49
49#### AST
50#### AST
50
51
@@ -118,24 +119,31 @@ Produce a **door** (a core with a sample).
118
119
119One fixed argument, then a variable number of `+`-family expressions.
120One fixed argument, then a variable number of `+`-family expressions.
120
121
121−<table>
122+{% table %}
123+
124+- Form
122−<tr><th>Form</th><th>Syntax</th></tr>
125+- Syntax
123−<tr>
126+
127+---
128+
124−<td>Tall</td>
129+- Tall
125−<td>
130+- ```hoon
126−<pre>
127−|_ a=spec
131+ |_ a=spec
128−++ b=term c=hoon
132+ ++ b=term c=hoon
129−++ d=term e=hoon
133+ ++ d=term e=hoon
130 ...
134 ...
131−++ f=term g=hoon
135+ ++ f=term g=hoon
132−--
136+ --
133−</pre>
137+ ```
134−</td>
138+ ***
135−</tr>
139+- Wide
136−<tr><td>Wide</td><td>None.</td></tr>
140+- None.
141+
142+---
143+
137−<tr><td>Irregular</td><td>None.</td></tr>
144+- Irregular
145+- None.
138−</table>
146+ {% /table %}
139
147
140Note: The `++` rune may be replaced with any other rune in the `+` family.
148Note: The `++` rune may be replaced with any other rune in the `+` family.
141
149
@@ -232,30 +240,27 @@ Produce a gate with a custom sample.
232
240
233Two arguments, fixed.
241Two arguments, fixed.
234
242
235−<table>
243+{% table %}
244+
245+- Form
236−<tr><th>Form</th><th>Syntax</th></tr>
246+- Syntax
237−<tr>
247+
248+---
249+
238−<td>Tall</td>
250+- Tall
239−<td>
251+- ```hoon
240−<pre>
241−|: a
252+ |: a
242−b
253+ b
243−</pre>
254+ ```
244−</td>
255+ ***
245−</tr>
246−<tr>
247−<td>Wide</td>
256+- Wide
248−<td>
257+- ```hoon
249−<pre>
250−|:(a b)
258+ |:(a b)
251−</pre>
259+ ```
252−</td>
260+ ***
253−</tr>
254−<tr>
255−<td>Irregular</td>
261+- Irregular
256−<td>None.</td>
262+- None.
257−</tr>
258−</table>
263+ {% /table %}
259
264
260#### AST
265#### AST
261
266
@@ -303,24 +308,31 @@ Produce a core, `[battery payload]`.
303
308
304Argument: a variable number of `+`-family expressions.
309Argument: a variable number of `+`-family expressions.
305
310
306−<table>
311+{% table %}
312+
313+- Form
307−<tr><th>Form</th><th>Syntax</th></tr>
314+- Syntax
308−<tr>
315+
316+---
317+
309−<td>Tall</td>
318+- Tall
310−<td>
319+- ```hoon
311−<pre>
312−|%
320+ |%
313−++ a=term b=hoon
321+ ++ a=term b=hoon
314−++ c=term d=hoon
322+ ++ c=term d=hoon
315 ...
323 ...
316−++ e=term f=hoon
324+ ++ e=term f=hoon
317−--
325+ --
318−</pre>
326+ ```
319−</td>
327+ ***
320−</tr>
328+- Wide
321−<tr><td>Wide</td><td>None.</td></tr>
329+- None.
330+
331+---
332+
322−<tr><td>Irregular</td><td>None.</td></tr>
333+- Irregular
334+- None.
323−</table>
335+ {% /table %}
324
336
325Note: The `++` rune may be replaced with any other rune in the `+` family.
337Note: The `++` rune may be replaced with any other rune in the `+` family.
326
338
@@ -387,29 +399,26 @@ Produce a trap (a core with one arm `$`).
387
399
388One argument, fixed.
400One argument, fixed.
389
401
390−<table>
402+{% table %}
403+
404+- Form
391−<tr><th>Form</th><th>Syntax</th></tr>
405+- Syntax
392−<tr>
406+
407+---
408+
393−<td>Tall</td>
409+- Tall
394−<td>
410+- ```hoon
395−<pre>
396−|. a
411+ |. a
397−</pre>
412+ ```
398−</td>
413+ ***
399−</tr>
400−<tr>
401−<td>Wide</td>
414+- Wide
402−<td>
415+- ```hoon
403−<pre>
404−|.(a)
416+ |.(a)
405−</pre>
417+ ```
406−</td>
418+ ***
407−</tr>
408−<tr>
409−<td>Irregular</td>
419+- Irregular
410−<td>None.</td>
420+- None.
411−</tr>
412−</table>
421+ {% /table %}
413
422
414#### AST
423#### AST
415
424
@@ -480,25 +489,34 @@ Produce a core whose battery includes a `$` arm and compute the latter.
480
489
481One fixed argument, then a variable number of `+`-family expressions.
490One fixed argument, then a variable number of `+`-family expressions.
482
491
483−<table>
492+{% table %}
493+
494+- Form
484−<tr><th>Form</th><th>Syntax</th></tr>
495+- Syntax
485−<tr>
496+
497+---
498+
486−<td>Tall</td>
499+- Tall
487−<td>
500+- ```hoon
488−<pre>
489−|^ a=hoon
501+ |^ a=hoon
490−++ b=term c=hoon
502+ ++ b=term c=hoon
491−++ d=term e=hoon
503+ ++ d=term e=hoon
492 ...
504 ...
493−++ f=term g=hoon
505+ ++ f=term g=hoon
494−--
506+ --
495−</pre>
507+ ```
496−</td>
508+ ***
497−</tr>
509+- Wide
498−<tr>
510+- None.
499−<td>Wide</td><td>None.</td></tr>
511+
512+---
513+
500−<tr><td>Irregular</td><td>None.</td></tr>
514+- Irregular
515+- None.
516+
517+---
518+
501−</table>
519+{% /table %}
502
520
503#### AST
521#### AST
504
522
@@ -555,29 +573,26 @@ Produce a trap (a core with one arm `$`) and evaluate it.
555
573
556One argument, fixed.
574One argument, fixed.
557
575
558−<table>
576+{% table %}
577+
578+- Form
559−<tr><th>Form</th><th>Syntax</th></tr>
579+- Syntax
560−<tr>
580+
581+---
582+
561−<td>Tall</td>
583+- Tall
562−<td>
584+- ```hoon
563−<pre>
564−|- a
585+ |- a
565−</pre>
586+ ```
566−</td>
587+ ***
567−</tr>
568−<tr>
569−<td>Wide</td>
588+- Wide
570−<td>
589+- ```hoon
571−<pre>
572−|-(a)
590+ |-(a)
573−</pre>
591+ ```
574−</td>
592+ ***
575−</tr>
576−<tr>
577−<td>Irregular</td>
593+- Irregular
578−<td>None.</td>
594+- None.
579−</tr>
580−</table>
595+ {% /table %}
581
596
582#### AST
597#### AST
583
598
@@ -637,30 +652,27 @@ Produce an iron gate.
637
652
638Two arguments, fixed.
653Two arguments, fixed.
639
654
640−<table>
655+{% table %}
656+
657+- Form
641−<tr><th>Form</th><th>Syntax</th></tr>
658+- Syntax
642−<tr>
659+
660+---
661+
643−<td>Tall</td>
662+- Tall
644−<td>
663+- ```hoon
645−<pre>
646−|~ a
664+ |~ a
647−b
665+ b
648−</pre>
666+ ```
649−</td>
667+ ***
650−</tr>
651−<tr>
652−<td>Wide</td>
668+- Wide
653−<td>
669+- ```hoon
654−<pre>
655−|~(a b)
670+ |~(a b)
656−</pre>
671+ ```
657−</td>
672+ ***
658−</tr>
659−<tr>
660−<td>Irregular</td>
673+- Irregular
661−<td>None.</td>
674+- None.
662−</tr>
663−</table>
675+ {% /table %}
664
676
665#### AST
677#### AST
666
678
@@ -700,29 +712,26 @@ Produce a wet gate (one-armed core with sample).
700
712
701Two arguments, fixed.
713Two arguments, fixed.
702
714
703−<table>
715+{% table %}
716+
717+- Form
704−<tr><th>Form</th><th>Syntax</th></tr>
718+- Syntax
705−<tr>
719+
720+---
721+
706−<td>Tall</td>
722+- Tall
707−<td>
723+- ```hoon
708−<pre>
709−|* a b
724+ |* a b
710−</pre>
725+ ```
711−</td>
726+ ***
712−</tr>
713−<tr>
714−<td>Wide</td>
727+- Wide
715−<td>
728+- ```hoon
716−<pre>
717−|*(a b)
729+ |*(a b)
718−</pre>
730+ ```
719−</td>
731+ ***
720−</tr>
721−<tr>
722−<td>Irregular</td>
732+- Irregular
723−<td>None.</td>
733+- None.
724−</tr>
725−</table>
734+ {% /table %}
726
735
727#### AST
736#### AST
728
737
@@ -792,30 +801,27 @@ Produce a gate (a one-armed core with a sample).
792
801
793Two arguments, fixed.
802Two arguments, fixed.
794
803
795−<table>
804+{% table %}
805+
806+- Form
796−<tr><th>Form</th><th>Syntax</th></tr>
807+- Syntax
797−<tr>
808+
809+---
810+
798−<td>Tall</td>
811+- Tall
799−<td>
812+- ```hoon
800−<pre>
801−|= a
813+ |= a
802−b
814+ b
803−</pre>
815+ ```
804−</td>
816+ ***
805−</tr>
806−<tr>
807−<td>Wide</td>
817+- Wide
808−<td>
818+- ```hoon
809−<pre>
810−|=(a b)
819+ |=(a b)
811−</pre>
820+ ```
812−</td>
821+ ***
813−</tr>
814−<tr>
815−<td>Irregular</td>
822+- Irregular
816−<td>None.</td>
823+- None.
817−</tr>
818−</table>
824+ {% /table %}
819
825
820#### AST
826#### AST
821
827
@@ -878,24 +884,31 @@ Produce a 'wet' core `[battery payload]`.
878
884
879Arguments: a variable number of `+`-family expressions.
885Arguments: a variable number of `+`-family expressions.
880
886
881−<table>
887+{% table %}
888+
889+- Form
882−<tr><th>Form</th><th>Syntax</th></tr>
890+- Syntax
883−<tr>
891+
892+---
893+
884−<td>Tall</td>
894+- Tall
885−<td>
895+- ```hoon
886−<pre>
887−|@
896+ |@
888−++ a=term b=hoon
897+ ++ a=term b=hoon
889−++ c=term d=hoon
898+ ++ c=term d=hoon
890 ...
899 ...
891−++ e=term f=hoon
900+ ++ e=term f=hoon
892−--
901+ --
893−</pre>
902+ ```
894−</td>
903+ ***
895−</tr>
904+- Wide
896−<tr><td>Wide</td><td>None.</td></tr>
905+- None.
906+
907+---
908+
897−<tr><td>Irregular</td><td>None.</td></tr>
909+- Irregular
910+- None.
898−</table>
911+ {% /table %}
899
912
900Note: The `++` rune may be replaced with any other rune in the `+` family.
913Note: The `++` rune may be replaced with any other rune in the `+` family.
901
914
@@ -928,29 +941,26 @@ Produce a lead trap.
928
941
929One argument, fixed.
942One argument, fixed.
930
943
931−<table>
944+{% table %}
945+
946+- Form
932−<tr><th>Form</th><th>Syntax</th></tr>
947+- Syntax
933−<tr>
948+
949+---
950+
934−<td>Tall</td>
951+- Tall
935−<td>
952+- ```hoon
936−<pre>
937−|? a
953+ |? a
938−</pre>
954+ ```
939−</td>
955+ ***
940−</tr>
941−<tr>
942−<td>Wide</td>
956+- Wide
943−<td>
957+- ```hoon
944−<pre>
945−|?(a)
958+ |?(a)
946−</pre>
959+ ```
947−</td>
960+ ***
948−</tr>
949−<tr>
950−<td>Irregular</td>
961+- Irregular
951−<td>None.</td>
962+- None.
952−</tr>
953−</table>
963+ {% /table %}
954
964
955#### AST
965#### AST
956
966
content/docs/hoon/reference/rune/buc.md+294−317
@@ -56,27 +56,27 @@ Structure that satisfies a validator.
56
56
57Two arguments, fixed.
57Two arguments, fixed.
58
58
59−<table>
59+{% table %}
60+
61+- Form
60−<tr><th>Form</th><th>Syntax</th></tr>
62+- Syntax
61−<tr>
63+
64+---
65+
62−<td>Tall</td>
66+- Tall
63−<td>
67+- ```hoon
64−<pre>
65−$| p
68+ $| p
66−q
69+ q
67−</pre>
70+ ```
68−</td>
71+ ***
69−</tr>
70−<tr>
71−<td>Wide</td>
72+- Wide
72−<td>
73+- ```hoon
73−<pre>
74−$|(p q)
74+ $|(p q)
75−</pre>
75+ ```
76−</td>
76+ ***
77−</tr>
78−<tr><td>Irregular</td><td>None.</td></tr>
77+- Irregular
78+- None.
79−</table>
79+ {% /table %}
80
80
81#### AST
81#### AST
82
82
@@ -160,33 +160,28 @@ Structure that normalizes to an example.
160
160
161One argument, fixed.
161One argument, fixed.
162
162
163−<table>
163+{% table %}
164+
165+- Form
164−<tr><th>Form</th><th>Syntax</th></tr>
166+- Syntax
165−<tr>
167+
168+---
169+
166−<td>Tall</td>
170+- Tall
167−<td>
171+- ```hoon
168−<pre>
169−$_ p
172+ $_ p
170−</pre>
173+ ```
171−</td>
174+ ***
172−</tr>
173−<tr>
174−<td>Wide</td>
175+- Wide
175−<td>
176+- ```hoon
176−<pre>
177−$_(p)
177+ $_(p)
178−</pre>
178+ ```
179−</td>
179+ ***
180−</tr>
181−<tr>
182−<td>Irregular</td>
180+- Irregular
183−<td>
181+- ```
184−<pre>
185−_p
182+ _p
186−</pre>
183+ ```
187−</td>
188−</tr>
189−</table>
184+ {% /table %}
190
185
191#### AST
186#### AST
192
187
@@ -230,30 +225,30 @@ Structure which recognizes a union tagged by head atom.
230
225
231A variable number of arguments.
226A variable number of arguments.
232
227
233−<table>
228+{% table %}
229+
230+- Form
234−<tr><th>Form</th><th>Syntax</th></tr>
231+- Syntax
235−<tr>
232+
233+---
234+
236−<td>Tall</td>
235+- Tall
237−<td>
236+- ```hoon
238−<pre>
239−$% [%p1 ...]
237+ $% [%p1 ...]
240− [%p2 ...]
238+ [%p2 ...]
241− [%p3 ...]
239+ [%p3 ...]
242− [%pn ...]
240+ [%pn ...]
243−==
241+ ==
244−</pre>
242+ ```
245−</td>
243+ ***
246−</tr>
247−<tr>
248−<td>Wide</td>
244+- Wide
249−<td>
245+- ```hoon
250−<pre>
251−$%([%p1 ...] [%p2 ...] [%p3 ...] [%pn ...])
246+ $%([%p1 ...] [%p2 ...] [%p3 ...] [%pn ...])
252−</pre>
247+ ```
253−</td>
248+ ***
254−</tr>
255−<tr><td>Irregular</td><td>None.</td></tr>
249+- Irregular
250+- None.
256−</table>
251+ {% /table %}
257
252
258Each item may be an atom or (more commonly) a cell. The atom or head of the cell
253Each item may be an atom or (more commonly) a cell. The atom or head of the cell
259_must_ be a constant (`%foo`, `%1`, `%.y`, etc).
254_must_ be a constant (`%foo`, `%1`, `%.y`, etc).
@@ -301,45 +296,37 @@ Form a cell type.
301
296
302A variable number of arguments.
297A variable number of arguments.
303
298
304−<table>
299+{% table %}
300+
301+- Form
305−<tr><th>Form</th><th>Syntax</th></tr>
302+- Syntax
306−<tr>
303+
304+---
305+
307−<td>Tall</td>
306+- Tall
308−<td>
307+- ```hoon
309−<pre>
310−$: p1
308+ $: p1
311− p2
309+ p2
312− p3
310+ p3
313− pn
311+ pn
314−==
312+ ==
315−</pre>
313+ ```
316−</td>
314+ ***
317−</tr>
318−<tr>
319−<td>Wide</td>
315+- Wide
320−<td>
316+- ```hoon
321−<pre>
322−$:(p1 p2 p3 pn)
317+ $:(p1 p2 p3 pn)
323−</pre>
318+ ```
324−</td>
319+ ***
325−</tr>
326−<tr>
327−<td>Irregular (noun mode)</td>
320+- Irregular (noun mode)
328−<td>
321+- ```hoon
329−<pre>
330−,[p1 p2 p3 pn]
322+ ,[p1 p2 p3 pn]
331−</pre>
323+ ```
332−</td>
324+ ***
333−</tr>
334−<tr>
335−<td>Irregular (structure mode)</td>
325+- Irregular (structure mode)
336−<td>
326+- ```hoon
337−<pre>
338−[p1 p2 p3 pn]
327+ [p1 p2 p3 pn]
339−</pre>
328+ ```
340−</td>
341−</tr>
342−</table>
329+ {% /table %}
343
330
344#### AST
331#### AST
345
332
@@ -381,27 +368,27 @@ structure.
381
368
382Two arguments, fixed.
369Two arguments, fixed.
383
370
384−<table>
371+{% table %}
372+
373+- Form
385−<tr><th>Form</th><th>Syntax</th></tr>
374+- Syntax
386−<tr>
375+
376+---
377+
387−<td>Tall</td>
378+- Tall
388−<td>
379+- ```hoon
389−<pre>
390−$< p
380+ $< p
391−q
381+ q
392−</pre>
382+ ```
393−</td>
383+ ***
394−</tr>
395−<tr>
396−<td>Wide</td>
384+- Wide
397−<td>
385+- ```hoon
398−<pre>
399−$<(p q)
386+ $<(p q)
400−</pre>
387+ ```
401−</td>
388+ ***
402−</tr>
403−<tr><td>Irregular</td><td>None.</td></tr>
389+- Irregular
390+- None.
404−</table>
391+ {% /table %}
405
392
406#### AST
393#### AST
407
394
@@ -444,27 +431,27 @@ Filters a mold to obtain a new mold matching a particular structure.
444
431
445Two arguments, fixed.
432Two arguments, fixed.
446
433
447−<table>
434+{% table %}
435+
436+- Form
448−<tr><th>Form</th><th>Syntax</th></tr>
437+- Syntax
449−<tr>
438+
439+---
440+
450−<td>Tall</td>
441+- Tall
451−<td>
442+- ```hoon
452−<pre>
453−$> p
443+ $> p
454−q
444+ q
455−</pre>
445+ ```
456−</td>
446+ ***
457−</tr>
458−<tr>
459−<td>Wide</td>
447+- Wide
460−<td>
448+- ```hoon
461−<pre>
462−$>(p q)
449+ $>(p q)
463−</pre>
450+ ```
464−</td>
451+ ***
465−</tr>
466−<tr><td>Irregular</td><td>None.</td></tr>
452+- Irregular
453+- None.
467−</table>
454+ {% /table %}
468
455
469#### AST
456#### AST
470
457
@@ -532,27 +519,27 @@ $_ ^|
532
519
533Two arguments, fixed.
520Two arguments, fixed.
534
521
535−<table>
522+{% table %}
523+
524+- Form
536−<tr><th>Form</th><th>Syntax</th></tr>
525+- Syntax
537−<tr>
526+
527+---
528+
538−<td>Tall</td>
529+- Tall
539−<td>
530+- ```hoon
540−<pre>
541−$- p
531+ $- p
542−q
532+ q
543−</pre>
533+ ```
544−</td>
534+ ***
545−</tr>
546−<tr>
547−<td>Wide</td>
535+- Wide
548−<td>
536+- ```hoon
549−<pre>
550−$-(p q)
537+ $-(p q)
551−</pre>
538+ ```
552−</td>
539+ ***
553−</tr>
554−<tr><td>Irregular</td><td>None.</td></tr>
540+- Irregular
541+- None.
555−</table>
542+ {% /table %}
556
543
557`p` is the type the gate takes and `q` is the type the gate produces.
544`p` is the type the gate takes and `q` is the type the gate produces.
558
545
@@ -579,27 +566,27 @@ Structure which normalizes a union tagged by head depth (cell).
579
566
580Two arguments, fixed.
567Two arguments, fixed.
581
568
582−<table>
569+{% table %}
570+
571+- Form
583−<tr><th>Form</th><th>Syntax</th></tr>
572+- Syntax
584−<tr>
573+
574+---
575+
585−<td>Tall</td>
576+- Tall
586−<td>
577+- ```hoon
587−<pre>
588−$^ p
578+ $^ p
589−q
579+ q
590−</pre>
580+ ```
591−</td>
581+ ***
592−</tr>
593−<tr>
594−<td>Wide</td>
582+- Wide
595−<td>
583+- ```hoon
596−<pre>
597−$^(p q)
584+ $^(p q)
598−</pre>
585+ ```
599−</td>
586+ ***
600−</tr>
601−<tr><td>Irregular</td><td>None.</td></tr>
587+- Irregular
588+- None.
602−</table>
589+ {% /table %}
603
590
604#### AST
591#### AST
605
592
@@ -643,27 +630,27 @@ Repair a value of a tagged union type.
643
630
644Two arguments, fixed.
631Two arguments, fixed.
645
632
646−<table>
633+{% table %}
634+
635+- Form
647−<tr><th>Form</th><th>Syntax</th></tr>
636+- Syntax
648−<tr>
637+
638+---
639+
649−<td>Tall</td>
640+- Tall
650−<td>
641+- ```hoon
651−<pre>
652−$& p
642+ $& p
653−q
643+ q
654−</pre>
644+ ```
655−</td>
645+ ***
656−</tr>
657−<tr>
658−<td>Wide</td>
646+- Wide
659−<td>
647+- ```hoon
660−<pre>
661−$&(p q)
648+ $&(p q)
662−</pre>
649+ ```
663−</td>
650+ ***
664−</tr>
665−<tr><td>Irregular</td><td>None.</td></tr>
651+- Irregular
652+- None.
666−</table>
653+ {% /table %}
667
654
668```hoon
655```hoon
669$&(combined-mold=spec normalizing-gate=hoon)
656$&(combined-mold=spec normalizing-gate=hoon)
@@ -715,27 +702,27 @@ Define a custom type default value.
715
702
716Two arguments, fixed.
703Two arguments, fixed.
717
704
718−<table>
705+{% table %}
706+
707+- Form
719−<tr><th>Form</th><th>Syntax</th></tr>
708+- Syntax
720−<tr>
709+
710+---
711+
721−<td>Tall</td>
712+- Tall
722−<td>
713+- ```hoon
723−<pre>
724−$~ p
714+ $~ p
725−q
715+ q
726−</pre>
716+ ```
727−</td>
717+ ***
728−</tr>
729−<tr>
730−<td>Wide</td>
718+- Wide
731−<td>
719+- ```hoon
732−<pre>
733−$~(p q)
720+ $~(p q)
734−</pre>
721+ ```
735−</td>
722+ ***
736−</tr>
737−<tr><td>Irregular</td><td>None.</td></tr>
723+- Irregular
724+- None.
738−</table>
725+ {% /table %}
739
726
740`p` defines the default value, and `q` defines everything else about the
727`p` defines the default value, and `q` defines everything else about the
741structure.
728structure.
@@ -809,27 +796,27 @@ Structure which normalizes a union tagged by head depth (atom).
809
796
810Two arguments, fixed.
797Two arguments, fixed.
811
798
812−<table>
799+{% table %}
800+
801+- Form
813−<tr><th>Form</th><th>Syntax</th></tr>
802+- Syntax
814−<tr>
803+
804+---
805+
815−<td>Tall</td>
806+- Tall
816−<td>
807+- ```hoon
817−<pre>
818−$@ p
808+ $@ p
819−q
809+ q
820−</pre>
810+ ```
821−</td>
811+ ***
822−</tr>
823−<tr>
824−<td>Wide</td>
812+- Wide
825−<td>
813+- ```hoon
826−<pre>
827−$@(p q)
814+ $@(p q)
828−</pre>
815+ ```
829−</td>
816+ ***
830−</tr>
831−<tr><td>Irregular</td><td>None.</td></tr>
817+- Irregular
818+- None.
832−</table>
819+ {% /table %}
833
820
834#### AST
821#### AST
835
822
@@ -875,34 +862,29 @@ Structure which wraps a face around another structure.
875
862
876Two arguments, fixed.
863Two arguments, fixed.
877
864
878−<table>
865+{% table %}
866+
867+- Form
879−<tr><th>Form</th><th>Syntax</th></tr>
868+- Syntax
880−<tr>
869+
870+---
871+
881−<td>Tall</td>
872+- Tall
882−<td>
873+- ```hoon
883−<pre>
884−$= p
874+ $= p
885−q
875+ q
886−</pre>
876+ ```
887−</td>
877+ ***
888−</tr>
889−<tr>
890−<td>Wide</td>
878+- Wide
891−<td>
879+- ```hoon
892−<pre>
893−$=(p q)
880+ $=(p q)
894−</pre>
881+ ```
895−</td>
882+ ***
896−</tr>
897−<tr>
898−<td>Irregular</td>
883+- Irregular
899−<td>
884+- ```
900−<pre>
901−p=q
885+ p=q
902−</pre>
886+ ```
903−</td>
904−</tr>
905−</table>
887+ {% /table %}
906
888
907#### AST
889#### AST
908
890
@@ -945,37 +927,32 @@ Form a type from a union of other types.
945
927
946Variable number of arguments.
928Variable number of arguments.
947
929
948−<table>
930+{% table %}
931+
932+- Form
949−<tr><th>Form</th><th>Syntax</th></tr>
933+- Syntax
950−<tr>
934+
935+---
936+
951−<td>Tall</td>
937+- Tall
952−<td>
938+- ```hoon
953−<pre>
954−$? p1
939+ $? p1
955− p2
940+ p2
956− p3
941+ p3
957− pn
942+ pn
958−==
943+ ==
959−</pre>
944+ ```
960−</td>
945+ ***
961−</tr>
962−<tr>
963−<td>Wide</td>
946+- Wide
964−<td>
947+- ```hoon
965−<pre>
966−$?(p1 p2 p3 pn)
948+ $?(p1 p2 p3 pn)
967−</pre>
949+ ```
968−</td>
950+ ***
969−</tr>
970−<tr>
971−<td>Irregular</td>
951+- Irregular
972−<td>
952+- ```hoon
973−<pre>
974−?(p1 p2 p3 pn)
953+ ?(p1 p2 p3 pn)
975−</pre>
954+ ```
976−</td>
977−</tr>
978−</table>
955+ {% /table %}
979
956
980#### AST
957#### AST
981
958
content/docs/hoon/reference/rune/cen.md+260−305
@@ -20,50 +20,44 @@ Resolve a wing with changes, preserving type.
20
20
21One fixed argument, then a variable number of pairs.
21One fixed argument, then a variable number of pairs.
22
22
23−<table>
23+{% table %}
24+
25+- Form
24−<tr><th>Form</th><th>Syntax</th></tr>
26+- Syntax
25−<tr>
27+
28+---
29+
26−<td>Tall style #1</td>
30+- Tall style #1
27−<td>
31+- ```hoon
28−<pre>
29−%_ a=wing
32+ %_ a=wing
30− b=wing c=hoon
33+ b=wing c=hoon
31− d=wing e=hoon
34+ d=wing e=hoon
32− f=wing g=hoon
35+ f=wing g=hoon
33−==
36+ ==
34−</pre>
37+ ```
35−</td>
38+ ***
36−</tr>
37−<tr>
38−<td>Tall style #2</td>
39+- Tall style #2
39−<td>
40+- ```hoon
40−<pre>
41−%_ a=wing
41+ %_ a=wing
42− b=wing
42+ b=wing
43− c=hoon
43+ c=hoon
44−::
44+ ::
45− d=wing
45+ d=wing
46− e=hoon
46+ e=hoon
47−::
47+ ::
48− f=wing
48+ f=wing
49− g=hoon
49+ g=hoon
50−==
50+ ==
51−</pre>
51+ ```
52−</td>
52+ ***
53−</tr>
54−<tr>
55−<td>Wide</td>
53+- Wide
56−<td>
54+- ```hoon
57−<pre>
58−%_(a=wing b=wing c=hoon, d=wing e=hoon, ...)
55+ %_(a=wing b=wing c=hoon, d=wing e=hoon, ...)
59−</pre>
56+ ```
60−</td>
57+ ***
61−</tr>
62−<tr>
63−<td>Irregular</td>
58+- Irregular
64−<td>None.</td>
59+- None.
65−</tr>
66−</table>
60+ {% /table %}
67
61
68#### AST
62#### AST
69
63
@@ -119,38 +113,33 @@ Call a gate with many arguments.
119
113
120One fixed argument, then a variable number of arguments.
114One fixed argument, then a variable number of arguments.
121
115
122−<table>
116+{% table %}
117+
118+- Form
123−<tr><th>Form</th><th>Syntax</th></tr>
119+- Syntax
124−<tr>
120+
121+---
122+
125−<td>Tall</td>
123+- Tall
126−<td>
124+- ```hoon
127−<pre>
128−%: a=hoon
125+ %: a=hoon
129− b=hoon
126+ b=hoon
130− c=hoon
127+ c=hoon
131− ...
128+ ...
132− d=hoon
129+ d=hoon
133−==
130+ ==
134−</pre>
131+ ```
135−</td>
132+ ***
136−</tr>
137−<tr>
138−<td>Wide</td>
133+- Wide
139−<td>
134+- ```hoon
140−<pre>
141−%:(a b c d)
135+ %:(a b c d)
142−</pre>
136+ ```
143−</td>
137+ ***
144−</tr>
145−<tr>
146−<td>Irregular</td>
138+- Irregular
147−<td>
139+- ```hoon
148−<pre>
149−(a b c d)
140+ (a b c d)
150−</pre>
141+ ```
151−</td>
152−</tr>
153−</table>
142+ {% /table %}
154
143
155#### AST
144#### AST
156
145
@@ -206,29 +195,26 @@ Call a gate (function), inverted.
206
195
207Two arguments, fixed.
196Two arguments, fixed.
208
197
209−<table>
198+{% table %}
199+
200+- Form
210−<tr><th>Form</th><th>Syntax</th></tr>
201+- Syntax
211−<tr>
202+
203+---
204+
212−<td>Tall</td>
205+- Tall
213−<td>
206+- ```hoon
214−<pre>
215−%. a b
207+ %. a b
216−</pre>
208+ ```
217−</td>
209+ ***
218−</tr>
219−<tr>
220−<td>Wide</td>
210+- Wide
221−<td>
211+- ```hoon
222−<pre>
223−%.(a b)
212+ %.(a b)
224−</pre>
213+ ```
225−</td>
214+ ***
226−</tr>
227−<tr>
228−<td>Irregular</td>
215+- Irregular
229−<td>None.</td>
216+- None.
230−</tr>
231−</table>
217+ {% /table %}
232
218
233#### AST
219#### AST
234
220
@@ -269,34 +255,29 @@ Call a gate (function).
269
255
270#### Syntax
256#### Syntax
271
257
272−<table>
258+{% table %}
259+
260+- Form
273−<tr><th>Form</th><th>Syntax</th></tr>
261+- Syntax
274−<tr>
262+
263+---
264+
275−<td>Tall</td>
265+- Tall
276−<td>
266+- ```hoon
277−<pre>
278−%- a
267+ %- a
279−b
268+ b
280−</pre>
269+ ```
281−</td>
270+ ***
282−</tr>
283−<tr>
284−<td>Wide</td>
271+- Wide
285−<td>
272+- ```hoon
286−<pre>
287−%-(a b)
273+ %-(a b)
288−</pre>
274+ ```
289−</td>
275+ ***
290−</tr>
291−<tr>
292−<td>Irregular</td>
276+- Irregular
293−<td>
277+- ```hoon
294−<pre>
295−(a b)
278+ (a b)
296−</pre>
279+ ```
297−</td>
298−</tr>
299−</table>
280+ {% /table %}
300
281
301#### AST
282#### AST
302
283
@@ -345,36 +326,31 @@ Call gate with triple sample.
345
326
346Four arguments, fixed.
327Four arguments, fixed.
347
328
348−<table>
329+{% table %}
330+
331+- Form
349−<tr><th>Form</th><th>Syntax</th></tr>
332+- Syntax
350−<tr>
333+
334+---
335+
351−<td>Tall</td>
336+- Tall
352−<td>
337+- ```hoon
353−<pre>
354−%^ a
338+ %^ a
355− b
339+ b
356− c
340+ c
357−d
341+ d
358−</pre>
342+ ```
359−</td>
343+ ***
360−</tr>
361−<tr>
362−<td>Wide</td>
344+- Wide
363−<td>
345+- ```hoon
364−<pre>
365−%^(a b c d)
346+ %^(a b c d)
366−</pre>
347+ ```
367−</td>
348+ ***
368−</tr>
369−<tr>
370−<td>Irregular</td>
349+- Irregular
371−<td>
350+- ```hoon
372−<pre>
373−(a b c d)
351+ (a b c d)
374−</pre>
352+ ```
375−</td>
376−</tr>
377−</table>
353+ {% /table %}
378
354
379#### AST
355#### AST
380
356
@@ -407,35 +383,30 @@ Call gate with a cell sample.
407
383
408Three arguments, fixed.
384Three arguments, fixed.
409
385
410−<table>
386+{% table %}
387+
388+- Form
411−<tr><th>Form</th><th>Syntax</th></tr>
389+- Syntax
412−<tr>
390+
391+---
392+
413−<td>Tall</td>
393+- Tall
414−<td>
394+- ```hoon
415−<pre>
416−%+ a
395+ %+ a
417− b
396+ b
418−c
397+ c
419−</pre>
398+ ```
420−</td>
399+ ***
421−</tr>
422−<tr>
423−<td>Wide</td>
400+- Wide
424−<td>
401+- ```hoon
425−<pre>
426−%+(a b c)
402+ %+(a b c)
427−</pre>
403+ ```
428−</td>
404+ ***
429−</tr>
430−<tr>
431−<td>Irregular</td>
405+- Irregular
432−<td>
406+- ```hoon
433−<pre>
434−(a b c)
407+ (a b c)
435−</pre>
408+ ```
436−</td>
437−</tr>
438−</table>
409+ {% /table %}
439
410
440#### AST
411#### AST
441
412
@@ -473,34 +444,29 @@ Evaluate an arm in a door.
473
444
474Three arguments, fixed.
445Three arguments, fixed.
475
446
476−<table>
447+{% table %}
448+
449+- Form
477−<tr><th>Form</th><th>Syntax</th></tr>
450+- Syntax
478−<tr>
451+
452+---
453+
479−<td>Tall</td>
454+- Tall
480−<td>
455+- ```hoon
481−<pre>
482−%~ p q
456+ %~ p q
483−r
457+ r
484−</pre>
458+ ```
485−</td>
459+ ***
486−</tr>
487−<tr>
488−<td>Wide</td>
460+- Wide
489−<td>
461+- ```hoon
490−<pre>
491−%~(p q r)
462+ %~(p q r)
492−</pre>
463+ ```
493−</td>
464+ ***
494−</tr>
495−<tr>
496−<td>Irregular</td>
465+- Irregular
497−<td>
466+- ```
498−<pre>
499−~(p q r1 r2 rn)
467+ ~(p q r1 r2 rn)
500−</pre>
468+ ```
501−</td>
502−</tr>
503−</table>
469+ {% /table %}
504
470
505In the irregular form, `r` may be split into multiple parts. Multiple parts of
471In the irregular form, `r` may be split into multiple parts. Multiple parts of
506`r` will be formed into a cell.
472`r` will be formed into a cell.
@@ -542,48 +508,45 @@ Evaluate an expression, then resolve a wing with changes.
542
508
543Two fixed arguments, then a variable number of pairs.
509Two fixed arguments, then a variable number of pairs.
544
510
545−<table>
511+{% table %}
512+
513+- Form
546−<tr><th>Form</th><th>Syntax</th></tr>
514+- Syntax
547−<tr>
515+
516+---
517+
548−<td>Tall style #1</td>
518+- Tall style #1
549−<td>
519+- ```hoon
550−<pre>
551−%* a=wing b=hoon
520+ %* a=wing b=hoon
552− c=wing d=hoon
521+ c=wing d=hoon
553− e=wing f=hoon
522+ e=wing f=hoon
554− ...
523+ ...
555− g=wing h=hoon
524+ g=wing h=hoon
556−==
525+ ==
557−</pre>
526+ ```
558−</td>
527+ ***
559−</tr>
560−<tr>
561−<td>Tall style #2</td>
528+- Tall style #2
562−<td>
529+- ```hoon
563−<pre>
564−%* a=wing b=hoon
530+ %* a=wing b=hoon
565− c=wing
531+ c=wing
566− d=hoon
532+ d=hoon
567−::
533+ ::
568− e=wing
534+ e=wing
569− f=hoon
535+ f=hoon
570−::
536+ ::
571− g=wing
537+ g=wing
572− h=hoon
538+ h=hoon
573−==
539+ ==
574−</pre>
540+ ```
575−</td>
541+ ***
576−</tr>
577−<tr>
578−<td>Wide</td>
542+- Wide
579−<td>
543+- ```hoon
580−<pre>
581−%*(a b c d, e f, g h)
544+ %*(a b c d, e f, g h)
582−</pre>
545+ ```
583−</td>
546+ ***
584−</tr>
585−<tr><td>Irregular</td><td>None.</td></tr>
547+- Irregular
548+- None.
586−</table>
549+ {% /table %}
587
550
588#### AST
551#### AST
589
552
@@ -643,55 +606,47 @@ Resolve a wing with changes.
643
606
644One fixed argument, then a variable number of pairs.
607One fixed argument, then a variable number of pairs.
645
608
646−<table>
609+{% table %}
610+
611+- Form
647−<tr><th>Form</th><th>Syntax</th></tr>
612+- Syntax
648−<tr>
613+
614+---
615+
649−<td>Tall style #1</td>
616+- Tall style #1
650−<td>
617+- ```hoon
651−<pre>
652−%= a=wing
618+ %= a=wing
653− b=wing c=hoon
619+ b=wing c=hoon
654− d=wing e=hoon
620+ d=wing e=hoon
655− ...
621+ ...
656− f=wing g=hoon
622+ f=wing g=hoon
657−==
623+ ==
658−</pre>
624+ ```
659−</td>
625+ ***
660−</tr>
661−<tr>
662−<td>Tall style #2</td>
626+- Tall style #2
663−<td>
627+- ```hoon
664−<pre>
665−%= a=wing
628+ %= a=wing
666− b=wing
629+ b=wing
667− c=hoon
630+ c=hoon
668−::
631+ ::
669− d=wing
632+ d=wing
670− e=hoon
633+ e=hoon
671−::
634+ ::
672− f=wing
635+ f=wing
673− g=hoon
636+ g=hoon
674−==
637+ ==
675−</pre>
638+ ```
676−</td>
639+ ***
677−</tr>
678−<tr>
679−<td>Wide</td>
640+- Wide
680−<td>
641+- ```hoon
681−<pre>
682−%=(a b c, d e, f g)
642+ %=(a b c, d e, f g)
683−</pre>
643+ ```
684−</td>
644+ ***
685−</tr>
686−<tr>
687−<td>Irregular</td>
645+- Irregular
688−<td>
646+- ```
689−<pre>
690−a(b c, d e, f g)
647+ a(b c, d e, f g)
691−</pre>
648+ ```
692−</td>
693−</tr>
694−</table>
649+ {% /table %}
695
650
696#### AST
651#### AST
697
652
content/docs/hoon/reference/rune/col.md+150−181
@@ -16,42 +16,34 @@ Construct a cell (2-tuple).
16
16
17Two arguments, fixed.
17Two arguments, fixed.
18
18
19−<table>
19+{% table %}
20+
21+- Form
20−<tr><th>Form</th><th>Syntax</th></tr>
22+- Syntax
21−<tr>
23+
24+---
25+
22−<td>Tall</td>
26+- Tall
23−<td>
27+- ```hoon
24−<pre>
25−:- p
28+ :- p
26−q
29+ q
27−</pre>
30+ ```
28−</td>
31+ ***
29−</tr>
30−<tr>
31−<td>Wide</td>
32+- Wide
32−<td>
33+- ```hoon
33−<pre>
34−:-(p q)
34+ :-(p q)
35−</pre>
35+ ```
36−</td>
36+ ***
37−</tr>
38−<tr>
39−<td>Irregular #1</td>
37+- Irregular #1
40−<td>
38+- ```hoon
41−<pre>
42−[p q]
39+ [p q]
43−</pre>
40+ ```
44−</td>
41+ ***
45−</tr>
46−<tr>
47−<td>Irregular #2</td>
42+- Irregular #2
48−<td>
43+- ```
49−<pre>
50−p^q
44+ p^q
51−</pre>
45+ ```
52−</td>
53−</tr>
54−</table>
46+ {% /table %}
55
47
56#### AST
48#### AST
57
49
@@ -89,30 +81,27 @@ Construct a cell, inverted.
89
81
90Two arguments, fixed.
82Two arguments, fixed.
91
83
92−<table>
84+{% table %}
85+
86+- Form
93−<tr><th>Form</th><th>Syntax</th></tr>
87+- Syntax
94−<tr>
88+
89+---
90+
95−<td>Tall</td>
91+- Tall
96−<td>
92+- ```hoon
97−<pre>
98−:_ p
93+ :_ p
99−q
94+ q
100−</pre>
95+ ```
101−</td>
96+ ***
102−</tr>
103−<tr>
104−<td>Wide</td>
97+- Wide
105−<td>
98+- ```hoon
106−<pre>
107−:_(p q)
99+ :_(p q)
108−</pre>
100+ ```
109−</td>
101+ ***
110−</tr>
111−<tr>
112−<td>Irregular</td>
102+- Irregular
113−<td>None.</td>
103+- None.
114−</tr>
115−</table>
104+ {% /table %}
116
105
117#### AST
106#### AST
118
107
@@ -143,35 +132,30 @@ Construct a triple (3-tuple).
143
132
144Three arguments, fixed.
133Three arguments, fixed.
145
134
146−<table>
135+{% table %}
136+
137+- Form
147−<tr><th>Form</th><th>Syntax</th></tr>
138+- Syntax
148−<tr>
139+
140+---
141+
149−<td>Tall</td>
142+- Tall
150−<td>
143+- ```hoon
151−<pre>
152−:+ p
144+ :+ p
153− q
145+ q
154−r
146+ r
155−</pre>
147+ ```
156−</td>
148+ ***
157−</tr>
158−<tr>
159−<td>Wide</td>
149+- Wide
160−<td>
150+- ```hoon
161−<pre>
162−:+(p q r)
151+ :+(p q r)
163−</pre>
152+ ```
164−</td>
153+ ***
165−</tr>
166−<tr>
167−<td>Irregular</td>
154+- Irregular
168−<td>
155+- ```hoon
169−<pre>
170−[p q r]
156+ [p q r]
171−</pre>
157+ ```
172−</td>
173−</tr>
174−</table>
158+ {% /table %}
175
159
176#### AST
160#### AST
177
161
@@ -207,36 +191,31 @@ Construct a quadruple (4-tuple).
207
191
208Four arguments, fixed.
192Four arguments, fixed.
209
193
210−<table>
194+{% table %}
195+
196+- Form
211−<tr><th>Form</th><th>Syntax</th></tr>
197+- Syntax
212−<tr>
198+
199+---
200+
213−<td>Tall</td>
201+- Tall
214−<td>
202+- ```hoon
215−<pre>
216−:^ p
203+ :^ p
217− q
204+ q
218− r
205+ r
219−s
206+ s
220−</pre>
207+ ```
221−</td>
208+ ***
222−</tr>
223−<tr>
224−<td>Wide</td>
209+- Wide
225−<td>
210+- ```hoon
226−<pre>
227−:^(p q r s)
211+ :^(p q r s)
228−</pre>
212+ ```
229−</td>
213+ ***
230−</tr>
231−<tr>
232−<td>Irregular</td>
214+- Irregular
233−<td>
215+- ```hoon
234−<pre>
235−[p q r s]
216+ [p q r s]
236−</pre>
217+ ```
237−</td>
238−</tr>
239−</table>
218+ {% /table %}
240
219
241#### AST
220#### AST
242
221
@@ -273,37 +252,32 @@ Construct an n-tuple.
273
252
274Variable number of arguments.
253Variable number of arguments.
275
254
276−<table>
255+{% table %}
256+
257+- Form
277−<tr><th>Form</th><th>Syntax</th></tr>
258+- Syntax
278−<tr>
259+
260+---
261+
279−<td>Tall</td>
262+- Tall
280−<td>
263+- ```hoon
281−<pre>
282−:* p1
264+ :* p1
283− p2
265+ p2
284− p3
266+ p3
285− pn
267+ pn
286−==
268+ ==
287−</pre>
269+ ```
288−</td>
270+ ***
289−</tr>
290−<tr>
291−<td>Wide</td>
271+- Wide
292−<td>
272+- ```hoon
293−<pre>
294−:*(p1 p2 p3 pn)
273+ :*(p1 p2 p3 pn)
295−</pre>
274+ ```
296−</td>
275+ ***
297−</tr>
298−<tr>
299−<td>Irregular</td>
276+- Irregular
300−<td>
277+- ```
301−<pre>
302−[p1 p2 p3 pn]
278+ [p1 p2 p3 pn]
303−</pre>
279+ ```
304−</td>
305−</tr>
306−</table>
280+ {% /table %}
307
281
308#### AST
282#### AST
309
283
@@ -363,37 +337,32 @@ Construct a null-terminated list.
363
337
364Variable number of arguments.
338Variable number of arguments.
365
339
366−<table>
340+{% table %}
341+
342+- Form
367−<tr><th>Form</th><th>Syntax</th></tr>
343+- Syntax
368−<tr>
344+
345+---
346+
369−<td>Tall</td>
347+- Tall
370−<td>
348+- ```hoon
371−<pre>
372−:~ p1
349+ :~ p1
373− p2
350+ p2
374− p3
351+ p3
375− pn
352+ pn
376−==
353+ ==
377−</pre>
354+ ```
378−</td>
355+ ***
379−</tr>
380−<tr>
381−<td>Wide</td>
356+- Wide
382−<td>
357+- ```hoon
383−<pre>
384−:~(p1 p2 p3 pn)
358+ :~(p1 p2 p3 pn)
385−</pre>
359+ ```
386−</td>
360+ ***
387−</tr>
388−<tr>
389−<td>Irregular</td>
361+- Irregular
390−<td>
362+- ```
391−<pre>
392−~[p1 p2 p3 pn]
363+ ~[p1 p2 p3 pn]
393−</pre>
364+ ```
394−</td>
395−</tr>
396−</table>
365+ {% /table %}
397
366
398#### AST
367#### AST
399
368
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
22you might expect, so `q` must be explicitly null-terminated if its elements are
22you might expect, so `q` must be explicitly null-terminated if its elements are
23specified separately.
23specified separately.
24
24
25−<table>
25+{% table %}
26+
27+- Form
26−<tr><th>Form</th><th>Syntax</th></tr>
28+- Syntax
27−<tr>
29+
30+---
31+
28−<td>Tall</td>
32+- Tall
29−<td>
33+- ```hoon
30−<pre>
31−.^ p
34+ .^ p
32− q1
35+ q1
33− q2
36+ q2
34− q3
37+ q3
35− qn
38+ qn
36−==
39+ ==
37−</pre>
40+ ```
38−</td>
41+ ***
39−</tr>
40−<tr>
41−<td>Wide</td>
42+- Wide
42−<td>
43+- ```hoon
43−<pre>
44−.^(p q1 q2)
44+ .^(p q1 q2)
45−</pre>
45+ ```
46−</td>
46+ ***
47−</tr>
48−<tr>
49−<td>Irregular</td>
47+- Irregular
50−<td>None.</td>
48+- None.
51−</tr>
52−</table>
49+ {% /table %}
53
50
54#### AST
51#### AST
55
52
@@ -132,33 +129,28 @@ Increment an atom with Nock `4`.
132
129
133One argument, fixed.
130One argument, fixed.
134
131
135−<table>
132+{% table %}
133+
134+- Form
136−<tr><th>Form</th><th>Syntax</th></tr>
135+- Syntax
137−<tr>
136+
137+---
138+
138−<td>Tall</td>
139+- Tall
139−<td>
140+- ```hoon
140−<pre>
141−.+ p
141+ .+ p
142−</pre>
142+ ```
143−</td>
143+ ***
144−</tr>
145−<tr>
146−<td>Wide</td>
144+- Wide
147−<td>
145+- ```hoon
148−<pre>
149−.+(p)
146+ .+(p)
150−</pre>
147+ ```
151−</td>
148+ ***
152−</tr>
153−<tr>
154−<td>Irregular</td>
149+- Irregular
155−<td>
150+- ```hoon
156−<pre>
157−+(p)
151+ +(p)
158−</pre>
152+ ```
159−</td>
160−</tr>
161−</table>
153+ {% /table %}
162
154
163#### AST
155#### AST
164
156
@@ -200,30 +192,27 @@ Nock of formula `q` and subject `p`, with type `%noun`.
200
192
201Two arguments, fixed.
193Two arguments, fixed.
202
194
203−<table>
195+{% table %}
196+
197+- Form
204−<tr><th>Form</th><th>Syntax</th></tr>
198+- Syntax
205−<tr>
199+
200+---
201+
206−<td>Tall</td>
202+- Tall
207−<td>
203+- ```hoon
208−<pre>
209−.* p
204+ .* p
210−q
205+ q
211−</pre>
206+ ```
212−</td>
207+ ***
213−</tr>
214−<tr>
215−<td>Wide</td>
208+- Wide
216−<td>
209+- ```hoon
217−<pre>
218−.*(p q)
210+ .*(p q)
219−</pre>
211+ ```
220−</td>
212+ ***
221−</tr>
222−<tr>
223−<td>Irregular</td>
213+- Irregular
224−<td>None.</td>
214+- None.
225−</tr>
226−</table>
215+ {% /table %}
227
216
228#### AST
217#### AST
229
218
@@ -272,34 +261,29 @@ Test for equality with Nock `5`.
272
261
273Two arguments, fixed.
262Two arguments, fixed.
274
263
275−<table>
264+{% table %}
265+
266+- Form
276−<tr><th>Form</th><th>Syntax</th></tr>
267+- Syntax
277−<tr>
268+
269+---
270+
278−<td>Tall</td>
271+- Tall
279−<td>
272+- ```hoon
280−<pre>
281−.= p
273+ .= p
282−q
274+ q
283−</pre>
275+ ```
284−</td>
276+ ***
285−</tr>
286−<tr>
287−<td>Wide</td>
277+- Wide
288−<td>
278+- ```hoon
289−<pre>
290−.=(p q)
279+ .=(p q)
291−</pre>
280+ ```
292−</td>
281+ ***
293−</tr>
294−<tr>
295−<td>Irregular</td>
282+- Irregular
296−<td>
283+- ```hoon
297−<pre>
298−=(p q)
284+ =(p q)
299−</pre>
285+ ```
300−</td>
301−</tr>
302−</table>
286+ {% /table %}
303
287
304#### AST
288#### AST
305
289
@@ -348,29 +332,26 @@ Test for cell or atom with Nock `3`.
348
332
349One argument, fixed.
333One argument, fixed.
350
334
351−<table>
335+{% table %}
336+
337+- Form
352−<tr><th>Form</th><th>Syntax</th></tr>
338+- Syntax
353−<tr>
339+
340+---
341+
354−<td>Tall</td>
342+- Tall
355−<td>
343+- ```hoon
356−<pre>
357−.? p
344+ .? p
358−</pre>
345+ ```
359−</td>
346+ ***
360−</tr>
361−<tr>
362−<td>Wide</td>
347+- Wide
363−<td>
348+- ```hoon
364−<pre>
365−.?(p)
349+ .?(p)
366−</pre>
350+ ```
367−</td>
351+ ***
368−</tr>
369−<tr>
370−<td>Irregular</td>
352+- Irregular
371−<td>None.</td>
353+- None.
372−</tr>
373−</table>
354+ {% /table %}
374
355
375#### AST
356#### AST
376
357
content/docs/hoon/reference/rune/ket.md+210−234
@@ -19,29 +19,26 @@ Convert a gold core to an iron core (contravariant).
19
19
20One argument, fixed.
20One argument, fixed.
21
21
22−<table>
22+{% table %}
23+
24+- Form
23−<tr><th>Form</th><th>Syntax</th></tr>
25+- Syntax
24−<tr>
26+
27+---
28+
25−<td>Tall</td>
29+- Tall
26−<td>
30+- ```hoon
27−<pre>
28−^| p
31+ ^| p
29−</pre>
32+ ```
30−</td>
33+ ***
31−</tr>
32−<tr>
33−<td>Wide</td>
34+- Wide
34−<td>
35+- ```hoon
35−<pre>
36−^|(p)
36+ ^|(p)
37−</pre>
37+ ```
38−</td>
38+ ***
39−</tr>
40−<tr>
41−<td>Irregular</td>
39+- Irregular
42−<td>None.</td>
40+- None.
43−</tr>
44−</table>
41+ {% /table %}
45
42
46#### AST
43#### AST
47
44
@@ -89,29 +86,26 @@ Mold gate for type `p`.
89
86
90One argument, fixed.
87One argument, fixed.
91
88
92−<table>
89+{% table %}
90+
91+- Form
93−<tr><th>Form</th><th>Syntax</th></tr>
92+- Syntax
94−<tr>
93+
94+---
95+
95−<td>Tall</td>
96+- Tall
96−<td>
97+- ```hoon
97−<pre>
98−^: p
98+ ^: p
99−</pre>
99+ ```
100−</td>
100+ ***
101−</tr>
102−<tr>
103−<td>Wide</td>
101+- Wide
104−<td>
102+- ```hoon
105−<pre>
106−^:(p)
103+ ^:(p)
107−</pre>
104+ ```
108−</td>
105+ ***
109−</tr>
110−<tr>
111−<td>Irregular</td>
106+- Irregular
112−<td>None.</td>
107+- None.
113−</tr>
114−</table>
108+ {% /table %}
115
109
116#### AST
110#### AST
117
111
@@ -166,30 +160,27 @@ Typecast on value produced by passing `q` to `p`.
166
160
167Two arguments, fixed.
161Two arguments, fixed.
168
162
169−<table>
163+{% table %}
164+
165+- Form
170−<tr><th>Form</th><th>Syntax</th></tr>
166+- Syntax
171−<tr>
167+
168+---
169+
172−<td>Tall</td>
170+- Tall
173−<td>
171+- ```hoon
174−<pre>
175−^. p
172+ ^. p
176−q
173+ q
177−</pre>
174+ ```
178−</td>
175+ ***
179−</tr>
180−<tr>
181−<td>Wide</td>
176+- Wide
182−<td>
177+- ```hoon
183−<pre>
184−^.(p q)
178+ ^.(p q)
185−</pre>
179+ ```
186−</td>
180+ ***
187−</tr>
188−<tr>
189−<td>Irregular</td>
181+- Irregular
190−<td>None.</td>
182+- None.
191−</tr>
192−</table>
183+ {% /table %}
193
184
194#### AST
185#### AST
195
186
@@ -236,34 +227,29 @@ Typecast by explicit type label.
236
227
237Two arguments, fixed.
228Two arguments, fixed.
238
229
239−<table>
230+{% table %}
231+
232+- Form
240−<tr><th>Form</th><th>Syntax</th></tr>
233+- Syntax
241−<tr>
234+
235+---
236+
242−<td>Tall</td>
237+- Tall
243−<td>
238+- ```hoon
244−<pre>
245−^- p
239+ ^- p
246−q
240+ q
247−</pre>
241+ ```
248−</td>
242+ ***
249−</tr>
250−<tr>
251−<td>Wide</td>
243+- Wide
252−<td>
244+- ```hoon
253−<pre>
254−^-(p q)
245+ ^-(p q)
255−</pre>
246+ ```
256−</td>
247+ ***
257−</tr>
258−<tr>
259−<td>Irregular</td>
248+- Irregular
260−<td>
249+- ```
261−<pre>
262−`p`q
250+ `p`q
263−</pre>
251+ ```
264−</td>
265−</tr>
266−</table>
252+ {% /table %}
267
253
268#### AST
254#### AST
269
255
@@ -313,27 +299,27 @@ Typecast by inferred type.
313
299
314Two arguments, fixed.
300Two arguments, fixed.
315
301
316−<table>
302+{% table %}
303+
304+- Form
317−<tr><th>Form</th><th>Syntax</th></tr>
305+- Syntax
318−<tr>
306+
307+---
308+
319−<td>Tall</td>
309+- Tall
320−<td>
310+- ```hoon
321−<pre>
322−^+ p
311+ ^+ p
323−q
312+ q
324−</pre>
313+ ```
325−</td>
314+ ***
326−</tr>
327−<tr>
328−<td>Wide</td>
315+- Wide
329−<td>
316+- ```hoon
330−<pre>
331−^+(p q)
317+ ^+(p q)
332−</pre>
318+ ```
333−</td>
319+ ***
334−</tr>
335−<tr><td>Irregular</td><td>None.</td></tr>
320+- Irregular
321+- None.
336−</table>
322+ {% /table %}
337
323
338#### AST
324#### AST
339
325
@@ -363,26 +349,26 @@ Convert a core to a zinc core (covariant).
363
349
364One argument, fixed.
350One argument, fixed.
365
351
366−<table>
352+{% table %}
353+
354+- Form
367−<tr><th>Form</th><th>Syntax</th></tr>
355+- Syntax
368−<tr>
356+
357+---
358+
369−<td>Tall</td>
359+- Tall
370−<td>
360+- ```hoon
371−<pre>
372−^& p
361+ ^& p
373−</pre>
362+ ```
374−</td>
363+ ***
375−</tr>
376−<tr>
377−<td>Wide</td>
364+- Wide
378−<td>
365+- ```hoon
379−<pre>
380−^&(p)
366+ ^&(p)
381−</pre>
367+ ```
382−</td>
368+ ***
383−</tr>
384−<tr><td>Irregular</td><td>None.</td></tr>
369+- Irregular
370+- None.
385−</table>
371+ {% /table %}
386
372
387#### AST
373#### AST
388
374
@@ -446,26 +432,26 @@ Fold constant at compile time.
446
432
447One argument, fixed.
433One argument, fixed.
448
434
449−<table>
435+{% table %}
436+
437+- Form
450−<tr><th>Form</th><th>Syntax</th></tr>
438+- Syntax
451−<tr>
439+
440+---
441+
452−<td>Tall</td>
442+- Tall
453−<td>
443+- ```hoon
454−<pre>
455−^~ p
444+ ^~ p
456−</pre>
445+ ```
457−</td>
446+ ***
458−</tr>
459−<tr>
460−<td>Wide</td>
447+- Wide
461−<td>
448+- ```hoon
462−<pre>
463−^~(p)
449+ ^~(p)
464−</pre>
450+ ```
465−</td>
451+ ***
466−</tr>
467−<tr><td>Irregular</td><td>None.</td></tr>
452+- Irregular
453+- None.
468−</table>
454+ {% /table %}
469
455
470#### AST
456#### AST
471
457
@@ -497,33 +483,28 @@ Produce example type value.
497
483
498One argument, fixed.
484One argument, fixed.
499
485
500−<table>
486+{% table %}
487+
488+- Form
501−<tr><th>Form</th><th>Syntax</th></tr>
489+- Syntax
502−<tr>
490+
491+---
492+
503−<td>Tall</td>
493+- Tall
504−<td>
494+- ```hoon
505−<pre>
506−^* p
495+ ^* p
507−</pre>
496+ ```
508−</td>
497+ ***
509−</tr>
510−<tr>
511−<td>Wide</td>
498+- Wide
512−<td>
499+- ```hoon
513−<pre>
514−^*(p)
500+ ^*(p)
515−</pre>
501+ ```
516−</td>
502+ ***
517−</tr>
518−<tr>
519−<td>Irregular</td>
503+- Irregular
520−<td>
504+- ```hoon
521−<pre>
522−*p
505+ *p
523−</pre>
506+ ```
524−</td>
525−</tr>
526−</table>
507+ {% /table %}
527
508
528`p` is any structure expression.
509`p` is any structure expression.
529
510
@@ -578,34 +559,29 @@ Bind name to a value.
578
559
579Two arguments, fixed.
560Two arguments, fixed.
580
561
581−<table>
562+{% table %}
563+
564+- Form
582−<tr><th>Form</th><th>Syntax</th></tr>
565+- Syntax
583−<tr>
566+
567+---
568+
584−<td>Tall</td>
569+- Tall
585−<td>
570+- ```hoon
586−<pre>
587−^= p
571+ ^= p
588−q
572+ q
589−</pre>
573+ ```
590−</td>
574+ ***
591−</tr>
592−<tr>
593−<td>Wide</td>
575+- Wide
594−<td>
576+- ```hoon
595−<pre>
596−^=(p q)
577+ ^=(p q)
597−</pre>
578+ ```
598−</td>
579+ ***
599−</tr>
600−<tr>
601−<td>Irregular</td>
580+- Irregular
602−<td>
581+- ```
603−<pre>
604−p=q
582+ p=q
605−</pre>
583+ ```
606−</td>
607−</tr>
608−</table>
584+ {% /table %}
609
585
610#### AST
586#### AST
611
587
@@ -649,26 +625,26 @@ Convert any core to a lead core (bivariant).
649
625
650One argument, fixed.
626One argument, fixed.
651
627
652−<table>
628+{% table %}
629+
630+- Form
653−<tr><th>Form</th><th>Syntax</th></tr>
631+- Syntax
654−<tr>
632+
633+---
634+
655−<td>Tall</td>
635+- Tall
656−<td>
636+- ```hoon
657−<pre>
658−^? p
637+ ^? p
659−</pre>
638+ ```
660−</td>
639+ ***
661−</tr>
662−<tr>
663−<td>Wide</td>
640+- Wide
664−<td>
641+- ```hoon
665−<pre>
666−^?(p)
642+ ^?(p)
667−</pre>
643+ ```
668−</td>
644+ ***
669−</tr>
670−<tr><td>Irregular</td><td>None.</td></tr>
645+- Irregular
646+- None.
671−</table>
647+ {% /table %}
672
648
673#### AST
649#### AST
674
650
content/docs/hoon/reference/rune/lus.md+83−55
@@ -24,19 +24,26 @@ Chapter label (not useful)
24
24
25One argument, fixed.
25One argument, fixed.
26
26
27−<table>
27+{% table %}
28+
29+- Form
28−<tr><th>Form</th><th>Syntax</th></tr>
30+- Syntax
29−<tr>
31+
32+---
33+
30−<td>Tall</td>
34+- Tall
31−<td>
35+- ```hoon
32−<pre>
33−+| %label
36+ +| %label
34−</pre>
37+ ```
35−</td>
38+ ***
36−</tr>
39+- Wide
37−<tr><td>Wide</td><td>None.</td></tr>
40+- None.
41+
42+---
43+
38−<tr><td>Irregular</td><td>None.</td></tr>
44+- Irregular
45+- None.
39−</table>
46+ {% /table %}
40
47
41#### Discussion
48#### Discussion
42
49
@@ -90,19 +97,26 @@ Produce a structure arm (type definition).
90
97
91Two arguments, fixed.
98Two arguments, fixed.
92
99
93−<table>
100+{% table %}
101+
102+- Form
94−<tr><th>Form</th><th>Syntax</th></tr>
103+- Syntax
95−<tr>
104+
105+---
106+
96−<td>Tall</td>
107+- Tall
97−<td>
108+- ```hoon
98−<pre>
99−+$ p=term q=spec
109+ +$ p=term q=spec
100−</pre>
110+ ```
101−</td>
111+ ***
102−</tr>
112+- Wide
103−<tr><td>Wide</td><td>None.</td></tr>
113+- None.
114+
115+---
116+
104−<tr><td>Irregular</td><td>None.</td></tr>
117+- Irregular
118+- None.
105−</table>
119+ {% /table %}
106
120
107`p` is an arm name, and `q` is any structure expression.
121`p` is an arm name, and `q` is any structure expression.
108
122
@@ -143,19 +157,26 @@ Produce a normal arm.
143
157
144Two arguments, fixed.
158Two arguments, fixed.
145
159
146−<table>
160+{% table %}
161+
162+- Form
147−<tr><th>Form</th><th>Syntax</th></tr>
163+- Syntax
148−<tr>
164+
165+---
166+
149−<td>Tall</td>
167+- Tall
150−<td>
168+- ```hoon
151−<pre>
152−++ p=term q=hoon
169+ ++ p=term q=hoon
153−</pre>
170+ ```
154−</td>
171+ ***
155−</tr>
172+- Wide
156−<tr><td>Wide</td><td>None.</td></tr>
173+- None.
174+
175+---
176+
157−<tr><td>Irregular</td><td>None.</td></tr>
177+- Irregular
178+- None.
158−</table>
179+ {% /table %}
159
180
160`p` is the arm name, and `q` is any Hoon expression.
181`p` is the arm name, and `q` is any Hoon expression.
161
182
@@ -192,22 +213,29 @@ Defines deferred expressions within doors.
192
213
193Arguments: A variable number of pairs.
214Arguments: A variable number of pairs.
194
215
195−<table>
216+{% table %}
217+
218+- Form
196−<tr><th>Form</th><th>Syntax</th></tr>
219+- Syntax
197−<tr>
220+
221+---
222+
198−<td>Tall</td>
223+- Tall
199−<td>
224+- ```hoon
200−<pre>
201−+* a=term b=hoon
225+ +* a=term b=hoon
202− c=term d=hoon
226+ c=term d=hoon
203− ...
227+ ...
204− e=term f=hoon
228+ e=term f=hoon
205−</pre>
229+ ```
206−</td>
230+ ***
207−</tr>
231+- Wide
208−<tr><td>Wide</td><td>None.</td></tr>
232+- None.
233+
234+---
235+
209−<tr><td>Irregular</td><td>None.</td></tr>
236+- Irregular
237+- None.
210−</table>
238+ {% /table %}
211
239
212`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that
240`a`, `c`, `e` are arm names and `b`, `d`, `f` are any Hoon expression. Note that
213unlike all other runes with a variable number of arguments, the list of
241unlike 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.
15
15
16One fixed argument, then a variable number of arguments.
16One fixed argument, then a variable number of arguments.
17
17
18−<table>
18+{% table %}
19+
20+- Form
19−<tr><th>Form</th><th>Syntax</th></tr>
21+- Syntax
20−<tr>
22+
23+---
24+
21−<td>Tall</td>
25+- Tall
22−<td>
26+- ```hoon
23−<pre>
24−;: p
27+ ;: p
25− q1
28+ q1
26− q2
29+ q2
27− qn
30+ qn
28−==
31+ ==
29−</pre>
32+ ```
30−</td>
33+ ***
31−</tr>
32−<tr>
33−<td>Wide</td>
34+- Wide
34−<td>
35+- ```hoon
35−<pre>
36−;:(p q1 q2 qn)
36+ ;:(p q1 q2 qn)
37−</pre>
37+ ```
38−</td>
38+ ***
39−</tr>
40−<tr>
41−<td>Irregular</td>
39+- Irregular
42−<td>
40+- ```
43−<pre>
44−:(p q1 q2 qn)
41+ :(p q1 q2 qn)
45−</pre>
42+ ```
46−</td>
47−</tr>
48−</table>
43+ {% /table %}
49
44
50#### AST
45#### AST
51
46
@@ -106,26 +101,26 @@ Monadic do notation.
106
101
107Four arguments, fixed.
102Four arguments, fixed.
108
103
109−<table>
104+{% table %}
105+
106+- Form
110−<tr><th>Form</th><th>Syntax</th></tr>
107+- Syntax
111−<tr>
108+
109+---
110+
112−<td>Tall</td>
111+- Tall
113−<td>
112+- ```hoon
114−<pre>
115−;< mold bind expr1 expr2
113+ ;< mold bind expr1 expr2
116−</pre>
114+ ```
117−</td>
115+ ***
118−</tr>
119−<tr>
120−<td>Wide</td>
116+- Wide
121−<td>
117+- ```hoon
122−<pre>
123−;<(mold bind expr1 expr2)
118+ ;<(mold bind expr1 expr2)
124−</pre>
119+ ```
125−</td>
120+ ***
126−</tr>
127−<tr><td>Irregular</td><td>None.</td></tr>
121+- Irregular
122+- None.
128−</table>
123+ {% /table %}
129
124
130#### AST
125#### AST
131
126
@@ -208,26 +203,26 @@ make a single XML node (Sail)
208
203
209One argument, fixed.
204One argument, fixed.
210
205
211−<table>
206+{% table %}
207+
208+- Form
212−<tr><th>Form</th><th>Syntax</th></tr>
209+- Syntax
213−<tr>
210+
211+---
212+
214−<td>Tall</td>
213+- Tall
215−<td>
214+- ```hoon
216−<pre>
217−;+ p
215+ ;+ p
218−</pre>
216+ ```
219−</td>
217+ ***
220−</tr>
221−<tr>
222−<td>Wide</td>
218+- Wide
223−<td>
219+- ```hoon
224−<pre>
225−;+(p)
220+ ;+(p)
226−</pre>
221+ ```
227−</td>
222+ ***
228−</tr>
229−<tr><td>Irregular</td><td>None.</td></tr>
223+- Irregular
224+- None.
230−</table>
225+ {% /table %}
231
226
232`p` is a Hoon expression that produces a `manx`.
227`p` is a Hoon expression that produces a `manx`.
233
228
@@ -246,7 +241,7 @@ nouns that represent XML nodes. With the appropriate rendering pipeline, a Sail
246document can be used to generate a static website.
241document can be used to generate a static website.
247
242
248In Sail a single XML node is represented by a `manx`. A single
243In 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:
250
245
251```
246```
252> ;p: This will be rendered as an XML node.
247> ;p: This will be rendered as an XML node.
@@ -294,27 +289,27 @@ Normalize with a mold, asserting fixpoint.
294
289
295Two arguments, fixed.
290Two arguments, fixed.
296
291
297−<table>
292+{% table %}
293+
294+- Form
298−<tr><th>Form</th><th>Syntax</th></tr>
295+- Syntax
299−<tr>
296+
297+---
298+
300−<td>Tall</td>
299+- Tall
301−<td>
300+- ```hoon
302−<pre>
303−;; p
301+ ;; p
304−q
302+ q
305−</pre>
303+ ```
306−</td>
304+ ***
307−</tr>
308−<tr>
309−<td>Wide</td>
305+- Wide
310−<td>
306+- ```hoon
311−<pre>
312−;;(p q)
307+ ;;(p q)
313−</pre>
308+ ```
314−</td>
309+ ***
315−</tr>
316−<tr><td>Irregular</td><td>None.</td></tr>
310+- Irregular
311+- None.
317−</table>
312+ {% /table %}
318
313
319#### AST
314#### AST
320
315
@@ -369,26 +364,26 @@ Tape as XML element.
369
364
370One argument, fixed.
365One argument, fixed.
371
366
372−<table>
367+{% table %}
368+
369+- Form
373−<tr><th>Form</th><th>Syntax</th></tr>
370+- Syntax
374−<tr>
371+
372+---
373+
375−<td>Tall</td>
374+- Tall
376−<td>
375+- ```hoon
377−<pre>
378−;/ p
376+ ;/ p
379−</pre>
377+ ```
380−</td>
378+ ***
381−</tr>
382−<tr>
383−<td>Wide</td>
379+- Wide
384−<td>
380+- ```hoon
385−<pre>
386−;/(p)
381+ ;/(p)
387−</pre>
382+ ```
388−</td>
383+ ***
389−</tr>
390−<tr><td>Irregular</td><td>None.</td></tr>
384+- Irregular
385+- None.
391−</table>
386+ {% /table %}
392
387
393#### AST
388#### AST
394
389
@@ -419,30 +414,30 @@ Glue a pipeline together with a product-sample adapter.
419
414
420One fixed argument, then a variable number of arguments.
415One fixed argument, then a variable number of arguments.
421
416
422−<table>
417+{% table %}
418+
419+- Form
423−<tr><th>Form</th><th>Syntax</th></tr>
420+- Syntax
424−<tr>
421+
422+---
423+
425−<td>Tall</td>
424+- Tall
426−<td>
425+- ```hoon
427−<pre>
428−;~ p
426+ ;~ p
429− q1
427+ q1
430− q2
428+ q2
431− qn
429+ qn
432−==
430+ ==
433−</pre>
431+ ```
434−</td>
432+ ***
435−</tr>
436−<tr>
437−<td>Wide</td>
433+- Wide
438−<td>
434+- ```hoon
439−<pre>
440−;~(p q1 q2 qn)
435+ ;~(p q1 q2 qn)
441−</pre>
436+ ```
442−</td>
437+ ***
443−</tr>
444−<tr><td>Irregular</td><td>None.</td></tr>
438+- Irregular
439+- None.
445−</table>
440+ {% /table %}
446
441
447#### AST
442#### AST
448
443
@@ -559,26 +554,26 @@ make a list of XML nodes from complex Hoon expression (Sail)
559
554
560One argument, fixed.
555One argument, fixed.
561
556
562−<table>
557+{% table %}
558+
559+- Form
563−<tr><th>Form</th><th>Syntax</th></tr>
560+- Syntax
564−<tr>
561+
562+---
563+
565−<td>Tall</td>
564+- Tall
566−<td>
565+- ```hoon
567−<pre>
568−;* p
566+ ;* p
569−</pre>
567+ ```
570−</td>
568+ ***
571−</tr>
572−<tr>
573−<td>Wide</td>
569+- Wide
574−<td>
570+- ```hoon
575−<pre>
576−;*(p)
571+ ;*(p)
577−</pre>
572+ ```
578−</td>
573+ ***
579−</tr>
580−<tr><td>Irregular</td><td>None.</td></tr>
574+- Irregular
575+- None.
581−</table>
576+ {% /table %}
582
577
583`p` is a Hoon expression that produces a `marl`.
578`p` is a Hoon expression that produces a `marl`.
584
579
@@ -636,30 +631,30 @@ make a list of XML nodes (Sail)
636
631
637A variable number of arguments.
632A variable number of arguments.
638
633
639−<table>
634+{% table %}
635+
636+- Form
640−<tr><th>Form</th><th>Syntax</th></tr>
637+- Syntax
641−<tr>
638+
639+---
640+
642−<td>Tall</td>
641+- Tall
643−<td>
642+- ```hoon
644−<pre>
645−;= p1
643+ ;= p1
646− p2
644+ p2
647− p3
645+ p3
648− pn
646+ pn
649−==
647+ ==
650−</pre>
648+ ```
651−</td>
649+ ***
652−</tr>
653−<tr>
654−<td>Wide</td>
650+- Wide
655−<td>
651+- ```hoon
656−<pre>
657−;=(p1 p2 p3 pn)
652+ ;=(p1 p2 p3 pn)
658−</pre>
653+ ```
659−</td>
654+ ***
660−</tr>
661−<tr><td>Irregular</td><td>None.</td></tr>
655+- Irregular
656+- None.
662−</table>
657+ {% /table %}
663
658
664`p1`-`pn` are Hoon expressions, each of which poduces a `manx`.
659`p1`-`pn` are Hoon expressions, each of which poduces a `manx`.
665
660
content/docs/hoon/reference/rune/sig.md+257−283
@@ -16,30 +16,27 @@ Raw hint, applied to computation.
16
16
17Two arguments, fixed.
17Two arguments, fixed.
18
18
19−<table>
19+{% table %}
20+
21+- Form
20−<tr><th>Form</th><th>Syntax</th></tr>
22+- Syntax
21−<tr>
23+
24+---
25+
22−<td>Tall</td>
26+- Tall
23−<td>
27+- ```hoon
24−<pre>
25−~> p
28+ ~> p
26−q
29+ q
27−</pre>
30+ ```
28−</td>
31+ ***
29−</tr>
30−<tr>
31−<td>Wide</td>
32+- Wide
32−<td>
33+- ```hoon
33−<pre>
34−~>(p q)
34+ ~>(p q)
35−</pre>
35+ ```
36−</td>
36+ ***
37−</tr>
38−<tr>
39−<td>Irregular</td>
37+- Irregular
40−<td>None.</td>
38+- None.
41−</tr>
42−</table>
39+ {% /table %}
43
40
44#### AST
41#### AST
45
42
@@ -89,30 +86,27 @@ Tracing printf.
89
86
90Two arguments, fixed.
87Two arguments, fixed.
91
88
92−<table>
89+{% table %}
90+
91+- Form
93−<tr><th>Form</th><th>Syntax</th></tr>
92+- Syntax
94−<tr>
93+
94+---
95+
95−<td>Tall</td>
96+- Tall
96−<td>
97+- ```hoon
97−<pre>
98−~| p
98+ ~| p
99−q
99+ q
100−</pre>
100+ ```
101−</td>
101+ ***
102−</tr>
103−<tr>
104−<td>Wide</td>
102+- Wide
105−<td>
103+- ```hoon
106−<pre>
107−~|(p q)
104+ ~|(p q)
108−</pre>
105+ ```
109−</td>
106+ ***
110−</tr>
111−<tr>
112−<td>Irregular</td>
107+- Irregular
113−<td>None.</td>
108+- None.
114−</tr>
115−</table>
109+ {% /table %}
116
110
117#### AST
111#### AST
118
112
@@ -151,30 +145,27 @@ Profiling hit counter.
151
145
152Two arguments, fixed.
146Two arguments, fixed.
153
147
154−<table>
148+{% table %}
149+
150+- Form
155−<tr><th>Form</th><th>Syntax</th></tr>
151+- Syntax
156−<tr>
152+
153+---
154+
157−<td>Tall</td>
155+- Tall
158−<td>
156+- ```hoon
159−<pre>
160−~& p
157+ ~& p
161−q
158+ q
162−</pre>
159+ ```
163−</td>
160+ ***
164−</tr>
165−<tr>
166−<td>Wide</td>
161+- Wide
167−<td>
162+- ```hoon
168−<pre>
169−~&(p q)
163+ ~&(p q)
170−</pre>
164+ ```
171−</td>
165+ ***
172−</tr>
173−<tr>
174−<td>Irregular</td>
166+- Irregular
175−<td>None.</td>
167+- None.
176−</tr>
177−</table>
168+ {% /table %}
178
169
179#### AST
170#### AST
180
171
@@ -229,30 +220,27 @@ User-formatted tracing printf.
229
220
230Two arguments, fixed.
221Two arguments, fixed.
231
222
232−<table>
223+{% table %}
224+
225+- Form
233−<tr><th>Form</th><th>Syntax</th></tr>
226+- Syntax
234−<tr>
227+
228+---
229+
235−<td>Tall</td>
230+- Tall
236−<td>
231+- ```hoon
237−<pre>
238−~_ p
232+ ~_ p
239−q
233+ q
240−</pre>
234+ ```
241−</td>
235+ ***
242−</tr>
243−<tr>
244−<td>Wide</td>
236+- Wide
245−<td>
237+- ```hoon
246−<pre>
247−~_(p q)
238+ ~_(p q)
248−</pre>
239+ ```
249−</td>
240+ ***
250−</tr>
251−<tr>
252−<td>Irregular</td>
241+- Irregular
253−<td>None.</td>
242+- None.
254−</tr>
255−</table>
243+ {% /table %}
256
244
257#### AST
245#### AST
258
246
@@ -297,25 +285,32 @@ Four arguments. Two fixed arguments, then a third which may be `~` if empty or
297else a variable number of pairs sandwiched between two `==`s, then a fourth
285else a variable number of pairs sandwiched between two `==`s, then a fourth
298fixed argument.
286fixed argument.
299
287
300−<table>
288+{% table %}
289+
290+- Form
301−<tr><th>Form</th><th>Syntax</th></tr>
291+- Syntax
302−<tr>
292+
293+---
294+
303−<td>Tall</td>
295+- Tall
304−<td>
296+- ```hoon
305−<pre>
306−~% p q
297+ ~% p q
307− ==
298+ ==
308− r1a r1b
299+ r1a r1b
309− r2a r2b
300+ r2a r2b
310− rna rnb
301+ rna rnb
311− ==
302+ ==
312−s
303+ s
313−</pre>
304+ ```
314−</td>
305+ ***
315−</tr>
306+- Wide
316−<tr><td>Wide</td><td>None.</td></tr>
307+- None.
308+
309+---
310+
317−<tr><td>Irregular</td><td>None.</td></tr>
311+- Irregular
312+- None.
318−</table>
313+ {% /table %}
319
314
320#### AST
315#### AST
321
316
@@ -406,30 +401,27 @@ Raw hint, applied to product.
406
401
407Two arguments, fixed.
402Two arguments, fixed.
408
403
409−<table>
404+{% table %}
405+
406+- Form
410−<tr><th>Form</th><th>Syntax</th></tr>
407+- Syntax
411−<tr>
408+
409+---
410+
412−<td>Tall</td>
411+- Tall
413−<td>
412+- ```hoon
414−<pre>
415−~< p
413+ ~< p
416−q
414+ q
417−</pre>
415+ ```
418−</td>
416+ ***
419−</tr>
420−<tr>
421−<td>Wide</td>
417+- Wide
422−<td>
418+- ```hoon
423−<pre>
424−~<(p q)
419+ ~<(p q)
425−</pre>
420+ ```
426−</td>
421+ ***
427−</tr>
428−<tr>
429−<td>Irregular</td>
422+- Irregular
430−<td>None.</td>
423+- None.
431−</tr>
432−</table>
424+ {% /table %}
433
425
434`p` may either be a a `term` or a pair of `[term hoon]`. If it's the latter, `p`
426`p` may either be a a `term` or a pair of `[term hoon]`. If it's the latter, `p`
435may optionally be written as `%foo.some-hoon`.
427may optionally be written as `%foo.some-hoon`.
@@ -469,29 +461,26 @@ Cache a computation.
469
461
470One argument, fixed.
462One argument, fixed.
471
463
472−<table>
464+{% table %}
465+
466+- Form
473−<tr><th>Form</th><th>Syntax</th></tr>
467+- Syntax
474−<tr>
468+
469+---
470+
475−<td>Tall</td>
471+- Tall
476−<td>
472+- ```hoon
477−<pre>
478−~+ p
473+ ~+ p
479−</pre>
474+ ```
480−</td>
475+ ***
481−</tr>
482−<tr>
483−<td>Wide</td>
476+- Wide
484−<td>
477+- ```hoon
485−<pre>
486−~+(p)
478+ ~+(p)
487−</pre>
479+ ```
488−</td>
480+ ***
489−</tr>
490−<tr>
491−<td>Irregular</td>
481+- Irregular
492−<td>None.</td>
482+- None.
493−</tr>
494−</table>
483+ {% /table %}
495
484
496#### AST
485#### AST
497
486
@@ -541,30 +530,27 @@ Jet registration for gate with registered context.
541
530
542Two arguments, fixed.
531Two arguments, fixed.
543
532
544−<table>
533+{% table %}
534+
535+- Form
545−<tr><th>Form</th><th>Syntax</th></tr>
536+- Syntax
546−<tr>
537+
538+---
539+
547−<td>Tall</td>
540+- Tall
548−<td>
541+- ```hoon
549−<pre>
550−~/ p
542+ ~/ p
551−q
543+ q
552−</pre>
544+ ```
553−</td>
545+ ***
554−</tr>
555−<tr>
556−<td>Wide</td>
546+- Wide
557−<td>
547+- ```hoon
558−<pre>
559−~/(p q)
548+ ~/(p q)
560−</pre>
549+ ```
561−</td>
550+ ***
562−</tr>
563−<tr>
564−<td>Irregular</td>
551+- Irregular
565−<td>None.</td>
552+- None.
566−</tr>
567−</table>
553+ {% /table %}
568
554
569#### AST
555#### AST
570
556
@@ -601,30 +587,27 @@ Debugging printf.
601
587
602Two arguments, fixed.
588Two arguments, fixed.
603
589
604−<table>
590+{% table %}
591+
592+- Form
605−<tr><th>Form</th><th>Syntax</th></tr>
593+- Syntax
606−<tr>
594+
595+---
596+
607−<td>Tall</td>
597+- Tall
608−<td>
598+- ```hoon
609−<pre>
610−~& p
599+ ~& p
611−q
600+ q
612−</pre>
601+ ```
613−</td>
602+ ***
614−</tr>
615−<tr>
616−<td>Wide</td>
603+- Wide
617−<td>
604+- ```hoon
618−<pre>
619−~&(p q)
605+ ~&(p q)
620−</pre>
606+ ```
621−</td>
607+ ***
622−</tr>
623−<tr>
624−<td>Irregular</td>
608+- Irregular
625−<td>None.</td>
609+- None.
626−</tr>
627−</table>
610+ {% /table %}
628
611
629#### AST
612#### AST
630
613
@@ -670,30 +653,27 @@ Detect duplicate.
670
653
671Two arguments, fixed.
654Two arguments, fixed.
672
655
673−<table>
656+{% table %}
657+
658+- Form
674−<tr><th>Form</th><th>Syntax</th></tr>
659+- Syntax
675−<tr>
660+
661+---
662+
676−<td>Tall</td>
663+- Tall
677−<td>
664+- ```hoon
678−<pre>
679−~= p
665+ ~= p
680−q
666+ q
681−</pre>
667+ ```
682−</td>
668+ ***
683−</tr>
684−<tr>
685−<td>Wide</td>
669+- Wide
686−<td>
670+- ```hoon
687−<pre>
688−~=(p q)
671+ ~=(p q)
689−</pre>
672+ ```
690−</td>
673+ ***
691−</tr>
692−<tr>
693−<td>Irregular</td>
674+- Irregular
694−<td>None.</td>
675+- None.
695−</tr>
696−</table>
676+ {% /table %}
697
677
698#### AST
678#### AST
699
679
@@ -739,31 +719,28 @@ Conditional debug printf.
739
719
740Three arguments, fixed.
720Three arguments, fixed.
741
721
742−<table>
722+{% table %}
723+
724+- Form
743−<tr><th>Form</th><th>Syntax</th></tr>
725+- Syntax
744−<tr>
726+
727+---
728+
745−<td>Tall</td>
729+- Tall
746−<td>
730+- ```hoon
747−<pre>
748−~? p
731+ ~? p
749− q
732+ q
750−r
733+ r
751−</pre>
734+ ```
752−</td>
735+ ***
753−</tr>
754−<tr>
755−<td>Wide</td>
736+- Wide
756−<td>
737+- ```hoon
757−<pre>
758−~?(p q r)
738+ ~?(p q r)
759−</pre>
739+ ```
760−</td>
740+ ***
761−</tr>
762−<tr>
763−<td>Irregular</td>
741+- Irregular
764−<td>None.</td>
742+- None.
765−</tr>
766−</table>
743+ {% /table %}
767
744
768#### AST
745#### AST
769
746
@@ -811,30 +788,27 @@ Print type on compilation fail.
811
788
812Two arguments, fixed.
789Two arguments, fixed.
813
790
814−<table>
791+{% table %}
792+
793+- Form
815−<tr><th>Form</th><th>Syntax</th></tr>
794+- Syntax
816−<tr>
795+
796+---
797+
817−<td>Tall</td>
798+- Tall
818−<td>
799+- ```hoon
819−<pre>
820−~! p
800+ ~! p
821−q
801+ q
822−</pre>
802+ ```
823−</td>
803+ ***
824−</tr>
825−<tr>
826−<td>Wide</td>
804+- Wide
827−<td>
805+- ```hoon
828−<pre>
829−~!(p q)
806+ ~!(p q)
830−</pre>
807+ ```
831−</td>
808+ ***
832−</tr>
833−<tr>
834−<td>Irregular</td>
809+- Irregular
835−<td>None.</td>
810+- None.
836−</tr>
837−</table>
811+ {% /table %}
838
812
839#### AST
813#### AST
840
814
content/docs/hoon/reference/rune/tis.md+307−351
@@ -32,30 +32,27 @@ Compose two expressions.
32
32
33Two arguments, fixed.
33Two arguments, fixed.
34
34
35−<table>
35+{% table %}
36+
37+- Form
36−<tr><th>Form</th><th>Syntax</th></tr>
38+- Syntax
37−<tr>
39+
40+---
41+
38−<td>Tall</td>
42+- Tall
39−<td>
43+- ```hoon
40−<pre>
41−=> p
44+ => p
42−q
45+ q
43−</pre>
46+ ```
44−</td>
47+ ***
45−</tr>
46−<tr>
47−<td>Wide</td>
48+- Wide
48−<td>
49+- ```hoon
49−<pre>
50−=>(p q)
50+ =>(p q)
51−</pre>
51+ ```
52−</td>
52+ ***
53−</tr>
54−<tr>
55−<td>Irregular</td>
53+- Irregular
56−<td>None.</td>
54+- None.
57−</tr>
58−</table>
55+ {% /table %}
59
56
60#### AST
57#### AST
61
58
@@ -100,30 +97,27 @@ of a given mold.
100
97
101Two arguments, fixed.
98Two arguments, fixed.
102
99
103−<table>
100+{% table %}
101+
102+- Form
104−<tr><th>Form</th><th>Syntax</th></tr>
103+- Syntax
105−<tr>
104+
105+---
106+
106−<td>Tall</td>
107+- Tall
107−<td>
108+- ```hoon
108−<pre>
109−=| p
109+ =| p
110−q
110+ q
111−</pre>
111+ ```
112−</td>
112+ ***
113−</tr>
114−<tr>
115−<td>Wide</td>
113+- Wide
116−<td>
114+- ```hoon
117−<pre>
118−=|(p q)
115+ =|(p q)
119−</pre>
116+ ```
120−</td>
117+ ***
121−</tr>
122−<tr>
123−<td>Irregular</td>
118+- Irregular
124−<td>None.</td>
119+- None.
125−</tr>
126−</table>
120+ {% /table %}
127
121
128#### AST
122#### AST
129
123
@@ -165,33 +159,30 @@ Change multiple legs in the subject.
165
159
166Two arguments: the first a variable number of pairs, the second is fixed.
160Two arguments: the first a variable number of pairs, the second is fixed.
167
161
168−<table>
162+{% table %}
163+
164+- Form
169−<tr><th>Form</th><th>Syntax</th></tr>
165+- Syntax
170−<tr>
166+
167+---
168+
171−<td>Tall</td>
169+- Tall
172−<td>
170+- ```hoon
173−<pre>
174−=: p1a p1b
171+ =: p1a p1b
175− p2a p2b
172+ p2a p2b
176− p3a p3b
173+ p3a p3b
177− ==
174+ ==
178−q
175+ q
179−</pre>
176+ ```
180−</td>
177+ ***
181−</tr>
182−<tr>
183−<td>Wide</td>
178+- Wide
184−<td>
179+- ```hoon
185−<pre>
186−=:(p1a p1b, p2a p2b, p3a p3b q)
180+ =:(p1a p1b, p2a p2b, p3a p3b q)
187−</pre>
181+ ```
188−</td>
182+ ***
189−</tr>
190−<tr>
191−<td>Irregular</td>
183+- Irregular
192−<td>None.</td>
184+- None.
193−</tr>
194−</table>
185+ {% /table %}
195
186
196#### AST
187#### AST
197
188
@@ -230,30 +221,27 @@ Expose namespace.
230
221
231Two arguments, fixed.
222Two arguments, fixed.
232
223
233−<table>
224+{% table %}
225+
226+- Form
234−<tr><th>Form</th><th>Syntax</th></tr>
227+- Syntax
235−<tr>
228+
229+---
230+
236−<td>Tall</td>
231+- Tall
237−<td>
232+- ```hoon
238−<pre>
239−=, p
233+ =, p
240−q
234+ q
241−</pre>
235+ ```
242−</td>
236+ ***
243−</tr>
244−<tr>
245−<td>Wide</td>
237+- Wide
246−<td>
238+- ```hoon
247−<pre>
248−=,(p q)
239+ =,(p q)
249−</pre>
240+ ```
250−</td>
241+ ***
251−</tr>
252−<tr>
253−<td>Irregular</td>
242+- Irregular
254−<td>None.</td>
243+- None.
255−</tr>
256−</table>
244+ {% /table %}
257
245
258#### AST
246#### AST
259
247
@@ -312,30 +300,27 @@ Change one leg in the subject.
312
300
313Three arguments, fixed.
301Three arguments, fixed.
314
302
315−<table>
303+{% table %}
304+
305+- Form
316−<tr><th>Form</th><th>Syntax</th></tr>
306+- Syntax
317−<tr>
307+
308+---
309+
318−<td>Tall</td>
310+- Tall
319−<td>
311+- ```hoon
320−<pre>
321−=. p q
312+ =. p q
322−r
313+ r
323−</pre>
314+ ```
324−</td>
315+ ***
325−</tr>
326−<tr>
327−<td>Wide</td>
316+- Wide
328−<td>
317+- ```hoon
329−<pre>
330−=.(p q r)
318+ =.(p q r)
331−</pre>
319+ ```
332−</td>
320+ ***
333−</tr>
334−<tr>
335−<td>Irregular</td>
321+- Irregular
336−<td>None.</td>
322+- None.
337−</tr>
338−</table>
323+ {% /table %}
339
324
340#### AST
325#### AST
341
326
@@ -383,30 +368,27 @@ Combine a new noun with the subject, inverted.
383
368
384Two arguments, fixed.
369Two arguments, fixed.
385
370
386−<table>
371+{% table %}
372+
373+- Form
387−<tr><th>Form</th><th>Syntax</th></tr>
374+- Syntax
388−<tr>
375+
376+---
377+
389−<td>Tall</td>
378+- Tall
390−<td>
379+- ```hoon
391−<pre>
392−=- p
380+ =- p
393−q
381+ q
394−</pre>
382+ ```
395−</td>
383+ ***
396−</tr>
397−<tr>
398−<td>Wide</td>
384+- Wide
399−<td>
385+- ```hoon
400−<pre>
401−=-(p q)
386+ =-(p q)
402−</pre>
387+ ```
403−</td>
388+ ***
404−</tr>
405−<tr>
406−<td>Irregular</td>
389+- Irregular
407−<td>None.</td>
390+- None.
408−</tr>
409−</table>
391+ {% /table %}
410
392
411#### AST
393#### AST
412
394
@@ -447,31 +429,28 @@ Pin the head of a pair; change a leg with the tail.
447
429
448Four arguments, fixed.
430Four arguments, fixed.
449
431
450−<table>
432+{% table %}
433+
434+- Form
451−<tr><th>Form</th><th>Syntax</th></tr>
435+- Syntax
452−<tr>
436+
437+---
438+
453−<td>Tall</td>
439+- Tall
454−<td>
440+- ```hoon
455−<pre>
456−=^ p q
441+ =^ p q
457− r
442+ r
458−s
443+ s
459−</pre>
444+ ```
460−</td>
445+ ***
461−</tr>
462−<tr>
463−<td>Wide</td>
446+- Wide
464−<td>
447+- ```hoon
465−<pre>
466−=^(p q r s)
448+ =^(p q r s)
467−</pre>
449+ ```
468−</td>
450+ ***
469−</tr>
470−<tr>
471−<td>Irregular</td>
451+- Irregular
472−<td>None.</td>
452+- None.
473−</tr>
474−</table>
453+ {% /table %}
475
454
476#### AST
455#### AST
477
456
@@ -528,34 +507,29 @@ Compose two expressions, inverted.
528
507
529Two arguments, fixed
508Two arguments, fixed
530
509
531−<table>
510+{% table %}
511+
512+- Form
532−<tr><th>Form</th><th>Syntax</th></tr>
513+- Syntax
533−<tr>
514+
515+---
516+
534−<td>Tall</td>
517+- Tall
535−<td>
518+- ```hoon
536−<pre>
537−=< p
519+ =< p
538−q
520+ q
539−</pre>
521+ ```
540−</td>
522+ ***
541−</tr>
542−<tr>
543−<td>Wide</td>
523+- Wide
544−<td>
524+- ```hoon
545−<pre>
546−=<(p q)
525+ =<(p q)
547−</pre>
526+ ```
548−</td>
527+ ***
549−</tr>
550−<tr>
551−<td>Irregular</td>
528+- Irregular
552−<td>
529+- ```
553−<pre>
554−p:q
530+ p:q
555−</pre>
531+ ```
556−</td>
557−</tr>
558−</table>
532+ {% /table %}
559
533
560#### AST
534#### AST
561
535
@@ -600,30 +574,27 @@ Combine a new noun with the subject.
600
574
601Two arguments, fixed.
575Two arguments, fixed.
602
576
603−<table>
577+{% table %}
578+
579+- Form
604−<tr><th>Form</th><th>Syntax</th></tr>
580+- Syntax
605−<tr>
581+
582+---
583+
606−<td>Tall</td>
584+- Tall
607−<td>
585+- ```hoon
608−<pre>
609−=+ p
586+ =+ p
610−q
587+ q
611−</pre>
588+ ```
612−</td>
589+ ***
613−</tr>
614−<tr>
615−<td>Wide</td>
590+- Wide
616−<td>
591+- ```hoon
617−<pre>
618−=+(p q)
592+ =+(p q)
619−</pre>
593+ ```
620−</td>
594+ ***
621−</tr>
622−<tr>
623−<td>Irregular</td>
595+- Irregular
624−<td>None.</td>
596+- None.
625−</tr>
626−</table>
597+ {% /table %}
627
598
628#### AST
599#### AST
629
600
@@ -669,31 +640,28 @@ order.
669
640
670Three arguments, fixed.
641Three arguments, fixed.
671
642
672−<table>
643+{% table %}
644+
645+- Form
673−<tr><th>Form</th><th>Syntax</th></tr>
646+- Syntax
674−<tr>
647+
648+---
649+
675−<td>Tall</td>
650+- Tall
676−<td>
651+- ```hoon
677−<pre>
678−=; p
652+ =; p
679− q
653+ q
680−r
654+ r
681−</pre>
655+ ```
682−</td>
656+ ***
683−</tr>
684−<tr>
685−<td>Wide</td>
657+- Wide
686−<td>
658+- ```hoon
687−<pre>
688−=;(p q r)
659+ =;(p q r)
689−</pre>
660+ ```
690−</td>
661+ ***
691−</tr>
692−<tr>
693−<td>Irregular</td>
662+- Irregular
694−<td>None.</td>
663+- None.
695−</tr>
696−</table>
664+ {% /table %}
697
665
698#### AST
666#### AST
699
667
@@ -734,31 +702,28 @@ Combine a named noun with the subject, possibly with type annotation.
734
702
735Three arguments, fixed.
703Three arguments, fixed.
736
704
737−<table>
705+{% table %}
706+
707+- Form
738−<tr><th>Form</th><th>Syntax</th></tr>
708+- Syntax
739−<tr>
709+
710+---
711+
740−<td>Tall</td>
712+- Tall
741−<td>
713+- ```hoon
742−<pre>
743−=/ p
714+ =/ p
744− q
715+ q
745−r
716+ r
746−</pre>
717+ ```
747−</td>
718+ ***
748−</tr>
749−<tr>
750−<td>Wide</td>
719+- Wide
751−<td>
720+- ```hoon
752−<pre>
753−=/(p q r)
721+ =/(p q r)
754−</pre>
722+ ```
755−</td>
723+ ***
756−</tr>
757−<tr>
758−<td>Irregular</td>
724+- Irregular
759−<td>None.</td>
725+- None.
760−</tr>
761−</table>
726+ {% /table %}
762
727
763#### AST
728#### AST
764
729
@@ -823,33 +788,30 @@ Compose many expressions.
823
788
824Variable number of arguments.
789Variable number of arguments.
825
790
826−<table>
791+{% table %}
792+
793+- Form
827−<tr><th>Form</th><th>Syntax</th></tr>
794+- Syntax
828−<tr>
795+
796+---
797+
829−<td>Tall</td>
798+- Tall
830−<td>
799+- ```hoon
831−<pre>
832−=~ p1
800+ =~ p1
833− p2
801+ p2
834− p3
802+ p3
835− pn
803+ pn
836−==
804+ ==
837−</pre>
805+ ```
838−</td>
806+ ***
839−</tr>
840−<tr>
841−<td>Wide</td>
807+- Wide
842−<td>
808+- ```hoon
843−<pre>
844−=~(p1 p2 p3 pn)
809+ =~(p1 p2 p3 pn)
845−</pre>
810+ ```
846−</td>
811+ ***
847−</tr>
848−<tr>
849−<td>Irregular</td>
812+- Irregular
850−<td>None.</td>
813+- None.
851−</tr>
852−</table>
814+ {% /table %}
853
815
854#### AST
816#### AST
855
817
@@ -902,31 +864,28 @@ Define a deferred expression.
902
864
903Three arguments, fixed.
865Three arguments, fixed.
904
866
905−<table>
867+{% table %}
868+
869+- Form
906−<tr><th>Form</th><th>Syntax</th></tr>
870+- Syntax
907−<tr>
871+
872+---
873+
908−<td>Tall</td>
874+- Tall
909−<td>
875+- ```hoon
910−<pre>
911−=* p
876+ =* p
912− q
877+ q
913−r
878+ r
914−</pre>
879+ ```
915−</td>
880+ ***
916−</tr>
917−<tr>
918−<td>Wide</td>
881+- Wide
919−<td>
882+- ```hoon
920−<pre>
921−=*(p q r)
883+ =*(p q r)
922−</pre>
884+ ```
923−</td>
885+ ***
924−</tr>
925−<tr>
926−<td>Irregular</td>
886+- Irregular
927−<td>None.</td>
887+- None.
928−</tr>
929−</table>
888+ {% /table %}
930
889
931#### AST
890#### AST
932
891
@@ -983,31 +942,28 @@ Conditionally change one leg in the subject.
983
942
984Four arguments, fixed.
943Four arguments, fixed.
985
944
986−<table>
945+{% table %}
946+
947+- Form
987−<tr><th>Form</th><th>Syntax</th></tr>
948+- Syntax
988−<tr>
949+
950+---
951+
989−<td>Tall</td>
952+- Tall
990−<td>
953+- ```hoon
991−<pre>
992−=? p q
954+ =? p q
993− r
955+ r
994−s
956+ s
995−</pre>
957+ ```
996−</td>
958+ ***
997−</tr>
998−<tr>
999−<td>Wide</td>
959+- Wide
1000−<td>
960+- ```hoon
1001−<pre>
1002−=?(p q r s)
961+ =?(p q r s)
1003−</pre>
962+ ```
1004−</td>
963+ ***
1005−</tr>
1006−<tr>
1007−<td>Irregular</td>
964+- Irregular
1008−<td>None.</td>
965+- None.
1009−</tr>
1010−</table>
966+ {% /table %}
1011
967
1012#### AST
968#### AST
1013
969
content/docs/hoon/reference/rune/wut.md+322−373
@@ -39,37 +39,32 @@ Logical OR.
39
39
40Variable number of arguments.
40Variable number of arguments.
41
41
42−<table>
42+{% table %}
43+
44+- Form
43−<tr><th>Form</th><th>Syntax</th></tr>
45+- Syntax
44−<tr>
46+
47+---
48+
45−<td>Tall</td>
49+- Tall
46−<td>
50+- ```hoon
47−<pre>
48−?| p1
51+ ?| p1
49− p2
52+ p2
50− p3
53+ p3
51− pn
54+ pn
52−==
55+ ==
53−</pre>
56+ ```
54−</td>
57+ ***
55−</tr>
56−<tr>
57−<td>Wide</td>
58+- Wide
58−<td>
59+- ```hoon
59−<pre>
60−?|(p1 p2 p3 pn)
60+ ?|(p1 p2 p3 pn)
61−</pre>
61+ ```
62−</td>
62+ ***
63−</tr>
64−<tr>
65−<td>Irregular</td>
63+- Irregular
66−<td>
64+- ```hoon
67−<pre>
68−|(p1 p2 p3 pn)
65+ |(p1 p2 p3 pn)
69−</pre>
66+ ```
70−</td>
71−</tr>
72−</table>
67+ {% /table %}
73
68
74#### AST
69#### AST
75
70
@@ -121,50 +116,44 @@ Switch against a union, with no default.
121
116
122One fixed argument, then a variable number of pairs.
117One fixed argument, then a variable number of pairs.
123
118
124−<table>
119+{% table %}
120+
121+- Form
125−<tr><th>Form</th><th>Syntax</th></tr>
122+- Syntax
126−<tr>
123+
124+---
125+
127−<td>Tall style #1</td>
126+- Tall style #1
128−<td>
127+- ```hoon
129−<pre>
130−?- p
128+ ?- p
131− q1a q1b
129+ q1a q1b
132− q2a q2b
130+ q2a q2b
133− qna qnb
131+ qna qnb
134−==
132+ ==
135−</pre>
133+ ```
136−</td>
134+ ***
137−</tr>
138−<tr>
139−<td>Tall style #2</td>
135+- Tall style #2
140−<td>
136+- ```hoon
141−<pre>
142−?- p
137+ ?- p
143− q1a
138+ q1a
144− q1b
139+ q1b
145−::
140+ ::
146− q2a
141+ q2a
147− q2b
142+ q2b
148−::
143+ ::
149− qna
144+ qna
150− qnb
145+ qnb
151−==
146+ ==
152−</pre>
147+ ```
153−</td>
148+ ***
154−</tr>
155−<tr>
156−<td>Wide</td>
149+- Wide
157−<td>
150+- ```hoon
158−<pre>
159−?-(p q1a q1b, q2a q2b, qna qnb)
151+ ?-(p q1a q1b, q2a q2b, qna qnb)
160−</pre>
152+ ```
161−</td>
153+ ***
162−</tr>
163−<tr>
164−<td>Irregular</td>
154+- Irregular
165−<td>None.</td>
155+- None.
166−</tr>
167−</table>
156+ {% /table %}
168
157
169#### AST
158#### AST
170
159
@@ -237,31 +226,28 @@ Branch on a boolean test.
237
226
238Three arguments, fixed.
227Three arguments, fixed.
239
228
240−<table>
229+{% table %}
230+
231+- Form
241−<tr><th>Form</th><th>Syntax</th></tr>
232+- Syntax
242−<tr>
233+
234+---
235+
243−<td>Tall</td>
236+- Tall
244−<td>
237+- ```hoon
245−<pre>
246−?: p
238+ ?: p
247− q
239+ q
248−r
240+ r
249−</pre>
241+ ```
250−</td>
242+ ***
251−</tr>
252−<tr>
253−<td>Wide</td>
243+- Wide
254−<td>
244+- ```hoon
255−<pre>
256−?:(p q r)
245+ ?:(p q r)
257−</pre>
246+ ```
258−</td>
247+ ***
259−</tr>
260−<tr>
261−<td>Irregular</td>
248+- Irregular
262−<td>None.</td>
249+- None.
263−</tr>
264−</table>
250+ {% /table %}
265
251
266#### AST
252#### AST
267
253
@@ -311,31 +297,28 @@ Branch on a boolean test, inverted.
311
297
312Three arguments, fixed.
298Three arguments, fixed.
313
299
314−<table>
300+{% table %}
301+
302+- Form
315−<tr><th>Form</th><th>Syntax</th></tr>
303+- Syntax
316−<tr>
304+
305+---
306+
317−<td>Tall</td>
307+- Tall
318−<td>
308+- ```hoon
319−<pre>
320−?. p
309+ ?. p
321− q
310+ q
322−r
311+ r
323−</pre>
312+ ```
324−</td>
313+ ***
325−</tr>
326−<tr>
327−<td>Wide</td>
314+- Wide
328−<td>
315+- ```hoon
329−<pre>
330−?.(p q r)
316+ ?.(p q r)
331−</pre>
317+ ```
332−</td>
318+ ***
333−</tr>
334−<tr>
335−<td>Irregular</td>
319+- Irregular
336−<td>None.</td>
320+- None.
337−</tr>
338−</table>
321+ {% /table %}
339
322
340#### AST
323#### AST
341
324
@@ -383,31 +366,28 @@ Branch on whether a wing of the subject is a cell.
383
366
384Three arguments, fixed.
367Three arguments, fixed.
385
368
386−<table>
369+{% table %}
370+
371+- Form
387−<tr><th>Form</th><th>Syntax</th></tr>
372+- Syntax
388−<tr>
373+
374+---
375+
389−<td>Tall</td>
376+- Tall
390−<td>
377+- ```hoon
391−<pre>
392−?^ p
378+ ?^ p
393− q
379+ q
394−r
380+ r
395−</pre>
381+ ```
396−</td>
382+ ***
397−</tr>
398−<tr>
399−<td>Wide</td>
383+- Wide
400−<td>
384+- ```hoon
401−<pre>
402−?^(p q r)
385+ ?^(p q r)
403−</pre>
386+ ```
404−</td>
387+ ***
405−</tr>
406−<tr>
407−<td>Irregular</td>
388+- Irregular
408−<td>None.</td>
389+- None.
409−</tr>
410−</table>
390+ {% /table %}
411
391
412#### AST
392#### AST
413
393
@@ -451,30 +431,27 @@ Negative assertion.
451
431
452Two arguments, fixed.
432Two arguments, fixed.
453
433
454−<table>
434+{% table %}
435+
436+- Form
455−<tr><th>Form</th><th>Syntax</th></tr>
437+- Syntax
456−<tr>
438+
439+---
440+
457−<td>Tall</td>
441+- Tall
458−<td>
442+- ```hoon
459−<pre>
460−?< p
443+ ?< p
461−q
444+ q
462−</pre>
445+ ```
463−</td>
446+ ***
464−</tr>
465−<tr>
466−<td>Wide</td>
447+- Wide
467−<td>
448+- ```hoon
468−<pre>
469−?<(p q)
449+ ?<(p q)
470−</pre>
450+ ```
471−</td>
451+ ***
472−</tr>
473−<tr>
474−<td>Irregular</td>
452+- Irregular
475−<td>None.</td>
453+- None.
476−</tr>
477−</table>
454+ {% /table %}
478
455
479#### AST
456#### AST
480
457
@@ -522,30 +499,27 @@ Positive assertion.
522
499
523Two arguments, fixed.
500Two arguments, fixed.
524
501
525−<table>
502+{% table %}
503+
504+- Form
526−<tr><th>Form</th><th>Syntax</th></tr>
505+- Syntax
527−<tr>
506+
507+---
508+
528−<td>Tall</td>
509+- Tall
529−<td>
510+- ```hoon
530−<pre>
531−?> p
511+ ?> p
532−q
512+ q
533−</pre>
513+ ```
534−</td>
514+ ***
535−</tr>
536−<tr>
537−<td>Wide</td>
515+- Wide
538−<td>
516+- ```hoon
539−<pre>
540−?>(p q)
517+ ?>(p q)
541−</pre>
518+ ```
542−</td>
519+ ***
543−</tr>
544−<tr>
545−<td>Irregular</td>
520+- Irregular
546−<td>None.</td>
521+- None.
547−</tr>
548−</table>
522+ {% /table %}
549
523
550#### AST
524#### AST
551
525
@@ -593,50 +567,44 @@ Switch against a union, with a default.
593
567
594Two fixed arguments, then a variable number of pairs.
568Two fixed arguments, then a variable number of pairs.
595
569
596−<table>
570+{% table %}
571+
572+- Form
597−<tr><th>Form</th><th>Syntax</th></tr>
573+- Syntax
598−<tr>
574+
575+---
576+
599−<td>Tall style #1</td>
577+- Tall style #1
600−<td>
578+- ```hoon
601−<pre>
602−?+ p q
579+ ?+ p q
603− r1a r1b
580+ r1a r1b
604− r2a r2b
581+ r2a r2b
605− rna rnb
582+ rna rnb
606−==
583+ ==
607−</pre>
584+ ```
608−</td>
585+ ***
609−</tr>
610−<tr>
611−<td>Tall style #2</td>
586+- Tall style #2
612−<td>
587+- ```hoon
613−<pre>
614−?+ p q
588+ ?+ p q
615− r1a
589+ r1a
616− r1b
590+ r1b
617−::
591+ ::
618− r2a
592+ r2a
619− r2b
593+ r2b
620−::
594+ ::
621− rna
595+ rna
622− rnb
596+ rnb
623−==
597+ ==
624−</pre>
598+ ```
625−</td>
599+ ***
626−</tr>
627−<tr>
628−<td>Wide</td>
600+- Wide
629−<td>
601+- ```hoon
630−<pre>
631−?+(p q r1a r1b, r2a r2b, rna rnb)
602+ ?+(p q r1a r1b, r2a r2b, rna rnb)
632−</pre>
603+ ```
633−</td>
604+ ***
634−</tr>
635−<tr>
636−<td>Irregular</td>
605+- Irregular
637−<td>None.</td>
606+- None.
638−</tr>
639−</table>
607+ {% /table %}
640
608
641#### AST
609#### AST
642
610
@@ -705,36 +673,31 @@ Logical AND.
705
673
706Variable arguments.
674Variable arguments.
707
675
708−<table>
676+{% table %}
677+
678+- Form
709−<tr><th>Form</th><th>Syntax</th></tr>
679+- Syntax
710−<tr>
680+
681+---
682+
711−<td>Tall</td>
683+- Tall
712−<td>
684+- ```hoon
713−<pre>
714−?& p1
685+ ?& p1
715− p2
686+ p2
716− pn
687+ pn
717−==
688+ ==
718−</pre>
689+ ```
719−</td>
690+ ***
720−</tr>
721−<tr>
722−<td>Wide</td>
691+- Wide
723−<td>
692+- ```hoon
724−<pre>
725−?&(p1 p2 pn)
693+ ?&(p1 p2 pn)
726−</pre>
694+ ```
727−</td>
695+ ***
728−</tr>
729−<tr>
730−<td>Irregular</td>
696+- Irregular
731−<td>
697+- ```
732−<pre>
733−&(p1 p2 pn)
698+ &(p1 p2 pn)
734−</pre>
699+ ```
735−</td>
736−</tr>
737−</table>
700+ {% /table %}
738
701
739#### AST
702#### AST
740
703
@@ -786,31 +749,28 @@ Branch on whether a wing of the subject is an atom.
786
749
787Three arguments, fixed.
750Three arguments, fixed.
788
751
789−<table>
752+{% table %}
753+
754+- Form
790−<tr><th>Form</th><th>Syntax</th></tr>
755+- Syntax
791−<tr>
756+
757+---
758+
792−<td>Tall</td>
759+- Tall
793−<td>
760+- ```hoon
794−<pre>
795−?@ p
761+ ?@ p
796− q
762+ q
797−r
763+ r
798−</pre>
764+ ```
799−</td>
765+ ***
800−</tr>
801−<tr>
802−<td>Wide</td>
766+- Wide
803−<td>
767+- ```hoon
804−<pre>
805−?@(p q r)
768+ ?@(p q r)
806−</pre>
769+ ```
807−</td>
770+ ***
808−</tr>
809−<tr>
810−<td>Irregular</td>
771+- Irregular
811−<td>None.</td>
772+- None.
812−</tr>
813−</table>
773+ {% /table %}
814
774
815#### AST
775#### AST
816
776
@@ -858,31 +818,28 @@ Branch on whether a wing of the subject is null.
858
818
859Three arguments, fixed.
819Three arguments, fixed.
860
820
861−<table>
821+{% table %}
822+
823+- Form
862−<tr><th>Form</th><th>Syntax</th></tr>
824+- Syntax
863−<tr>
825+
826+---
827+
864−<td>Tall</td>
828+- Tall
865−<td>
829+- ```hoon
866−<pre>
867−?~ p
830+ ?~ p
868− q
831+ q
869−r
832+ r
870−</pre>
833+ ```
871−</td>
834+ ***
872−</tr>
873−<tr>
874−<td>Wide</td>
835+- Wide
875−<td>
836+- ```hoon
876−<pre>
877−?~(p q r)
837+ ?~(p q r)
878−</pre>
838+ ```
879−</td>
839+ ***
880−</tr>
881−<tr>
882−<td>Irregular</td>
840+- Irregular
883−<td>None.</td>
841+- None.
884−</tr>
885−</table>
842+ {% /table %}
886
843
887#### AST
844#### AST
888
845
@@ -924,30 +881,27 @@ Test pattern match.
924
881
925Two arguments, fixed.
882Two arguments, fixed.
926
883
927−<table>
884+{% table %}
885+
886+- Form
928−<tr><th>Form</th><th>Syntax</th></tr>
887+- Syntax
929−<tr>
888+
889+---
890+
930−<td>Tall</td>
891+- Tall
931−<td>
892+- ```hoon
932−<pre>
933−?= p
893+ ?= p
934−q
894+ q
935−</pre>
895+ ```
936−</td>
896+ ***
937−</tr>
938−<tr>
939−<td>Wide</td>
897+- Wide
940−<td>
898+- ```hoon
941−<pre>
942−?=(p q)
899+ ?=(p q)
943−</pre>
900+ ```
944−</td>
901+ ***
945−</tr>
946−<tr>
947−<td>Irregular</td>
902+- Irregular
948−<td>None.</td>
903+- None.
949−</tr>
950−</table>
904+ {% /table %}
951
905
952#### AST
906#### AST
953
907
@@ -992,33 +946,28 @@ Logical NOT.
992
946
993One argument, fixed.
947One argument, fixed.
994
948
995−<table>
949+{% table %}
950+
951+- Form
996−<tr><th>Form</th><th>Syntax</th></tr>
952+- Syntax
997−<tr>
953+
954+---
955+
998−<td>Tall</td>
956+- Tall
999−<td>
957+- ```hoon
1000−<pre>
1001−?! p
958+ ?! p
1002−</pre>
959+ ```
1003−</td>
960+ ***
1004−</tr>
1005−<tr>
1006−<td>Wide</td>
961+- Wide
1007−<td>
962+- ```hoon
1008−<pre>
1009−?!(p)
963+ ?!(p)
1010−</pre>
964+ ```
1011−</td>
965+ ***
1012−</tr>
1013−<tr>
1014−<td>Irregular</td>
966+- Irregular
1015−<td>
967+- ```hoon
1016−<pre>
1017−!p
968+ !p
1018−</pre>
969+ ```
1019−</td>
1020−</tr>
1021−</table>
970+ {% /table %}
1022
971
1023#### AST
972#### AST
1024
973
content/docs/hoon/reference/rune/zap.md+206−236
@@ -13,30 +13,27 @@ Produce the Hoon AST of an expression.
13
13
14Two arguments, fixed.
14Two arguments, fixed.
15
15
16−<table>
16+{% table %}
17+
18+- Form
17−<tr><th>Form</th><th>Syntax</th></tr>
19+- Syntax
18−<tr>
20+
21+---
22+
19−<td>Tall</td>
23+- Tall
20−<td>
24+- ```hoon
21−<pre>
22−!, p
25+ !, p
23−q
26+ q
24−</pre>
27+ ```
25−</td>
28+ ***
26−</tr>
27−<tr>
28−<td>Wide</td>
29+- Wide
29−<td>
30+- ```hoon
30−<pre>
31−!,(p q)
31+ !,(p q)
32−</pre>
32+ ```
33−</td>
33+ ***
34−</tr>
35−<tr>
36−<td>Irregular</td>
34+- Irregular
37−<td>None.</td>
35+- None.
38−</tr>
39−</table>
36+ {% /table %}
40
37
41#### AST
38#### AST
42
39
@@ -71,29 +68,26 @@ Wrap a noun in its type (form a [`vase`](/docs/hoon/reference/stdlib/4o#vase)).
71
68
72One argument, fixed.
69One argument, fixed.
73
70
74−<table>
71+{% table %}
72+
73+- Form
75−<tr><th>Form</th><th>Syntax</th></tr>
74+- Syntax
76−<tr>
75+
76+---
77+
77−<td>Tall</td>
78+- Tall
78−<td>
79+- ```hoon
79−<pre>
80−!> p
80+ !> p
81−</pre>
81+ ```
82−</td>
82+ ***
83−</tr>
84−<tr>
85−<td>Wide</td>
83+- Wide
86−<td>
84+- ```hoon
87−<pre>
88−!>(p)
85+ !>(p)
89−</pre>
86+ ```
90−</td>
87+ ***
91−</tr>
92−<tr>
93−<td>Irregular</td>
88+- Irregular
94−<td>None.</td>
89+- None.
95−</tr>
96−</table>
90+ {% /table %}
97
91
98#### AST
92#### AST
99
93
@@ -136,30 +130,27 @@ its type nests.
136
130
137Two arguments, fixed.
131Two arguments, fixed.
138
132
139−<table>
133+{% table %}
134+
135+- Form
140−<tr><th>Form</th><th>Syntax</th></tr>
136+- Syntax
141−<tr>
137+
138+---
139+
142−<td>Tall</td>
140+- Tall
143−<td>
141+- ```hoon
144−<pre>
145−!< p
142+ !< p
146−q
143+ q
147−</pre>
144+ ```
148−</td>
145+ ***
149−</tr>
150−<tr>
151−<td>Wide</td>
146+- Wide
152−<td>
147+- ```hoon
153−<pre>
154−!<(p q)
148+ !<(p q)
155−</pre>
149+ ```
156−</td>
150+ ***
157−</tr>
158−<tr>
159−<td>Irregular</td>
151+- Irregular
160−<td>None.</td>
152+- None.
161−</tr>
162−</table>
153+ {% /table %}
163
154
164#### AST
155#### AST
165
156
@@ -200,30 +191,27 @@ Wrap a noun in its type (raw).
200
191
201Two arguments, fixed.
192Two arguments, fixed.
202
193
203−<table>
194+{% table %}
195+
196+- Form
204−<tr><th>Form</th><th>Syntax</th></tr>
197+- Syntax
205−<tr>
198+
199+---
200+
206−<td>Tall</td>
201+- Tall
207−<td>
202+- ```hoon
208−<pre>
209−!; p
203+ !; p
210−q
204+ q
211−</pre>
205+ ```
212−</td>
206+ ***
213−</tr>
214−<tr>
215−<td>Wide</td>
207+- Wide
216−<td>
208+- ```hoon
217−<pre>
218−!;(p q)
209+ !;(p q)
219−</pre>
210+ ```
220−</td>
211+ ***
221−</tr>
222−<tr>
223−<td>Irregular</td>
212+- Irregular
224−<td>None.</td>
213+- None.
225−</tr>
226−</table>
214+ {% /table %}
227
215
228#### AST
216#### AST
229
217
@@ -265,29 +253,26 @@ Make the Nock formula for a Hoon expression.
265
253
266One argument, fixed.
254One argument, fixed.
267
255
268−<table>
256+{% table %}
257+
258+- Form
269−<tr><th>Form</th><th>Syntax</th></tr>
259+- Syntax
270−<tr>
260+
261+---
262+
271−<td>Tall</td>
263+- Tall
272−<td>
264+- ```hoon
273−<pre>
274−!= p
265+ != p
275−</pre>
266+ ```
276−</td>
267+ ***
277−</tr>
278−<tr>
279−<td>Wide</td>
268+- Wide
280−<td>
269+- ```hoon
281−<pre>
282−!=(p)
270+ !=(p)
283−</pre>
271+ ```
284−</td>
272+ ***
285−</tr>
286−<tr>
287−<td>Irregular</td>
273+- Irregular
288−<td>None.</td>
274+- None.
289−</tr>
290−</table>
275+ {% /table %}
291
276
292#### AST
277#### AST
293
278
@@ -339,30 +324,27 @@ Restrict Hoon version.
339
324
340Two arguments, fixed.
325Two arguments, fixed.
341
326
342−<table>
327+{% table %}
328+
329+- Form
343−<tr><th>Form</th><th>Syntax</th></tr>
330+- Syntax
344−<tr>
331+
332+---
333+
345−<td>Tall</td>
334+- Tall
346−<td>
335+- ```hoon
347−<pre>
348−!? p
336+ !? p
349−q
337+ q
350−</pre>
338+ ```
351−</td>
339+ ***
352−</tr>
353−<tr>
354−<td>Wide</td>
340+- Wide
355−<td>
341+- ```hoon
356−<pre>
357−!?(p q)
342+ !?(p q)
358−</pre>
343+ ```
359−</td>
344+ ***
360−</tr>
361−<tr>
362−<td>Irregular</td>
345+- Irregular
363−<td>None.</td>
346+- None.
364−</tr>
365−</table>
347+ {% /table %}
366
348
367#### AST
349#### AST
368
350
@@ -405,31 +387,28 @@ Branch on whether a wing exists.
405
387
406Three arguments, fixed.
388Three arguments, fixed.
407
389
408−<table>
390+{% table %}
391+
392+- Form
409−<tr><th>Form</th><th>Syntax</th></tr>
393+- Syntax
410−<tr>
394+
395+---
396+
411−<td>Tall</td>
397+- Tall
412−<td>
398+- ```hoon
413−<pre>
414−!@ p
399+ !@ p
415− q
400+ q
416−r
401+ r
417−</pre>
402+ ```
418−</td>
403+ ***
419−</tr>
420−<tr>
421−<td>Wide</td>
404+- Wide
422−<td>
405+- ```hoon
423−<pre>
424−!@(p q r)
406+ !@(p q r)
425−</pre>
407+ ```
426−</td>
408+ ***
427−</tr>
428−<tr>
429−<td>Irregular</td>
409+- Irregular
430−<td>None.</td>
410+- None.
431−</tr>
432−</table>
411+ {% /table %}
433
412
434#### AST
413#### AST
435
414
@@ -464,29 +443,26 @@ Crash.
464
443
465No arguments.
444No arguments.
466
445
467−<table>
446+{% table %}
447+
448+- Form
468−<tr><th>Form</th><th>Syntax</th></tr>
449+- Syntax
469−<tr>
450+
451+---
452+
470−<td>Tall</td>
453+- Tall
471−<td>
454+- ```hoon
472−<pre>
473−!!
455+ !!
474−</pre>
456+ ```
475−</td>
457+ ***
476−</tr>
477−<tr>
478−<td>Wide</td>
458+- Wide
479−<td>
459+- ```
480−<pre>
481−!!
460+ !!
482−</pre>
461+ ```
483−</td>
462+ ***
484−</tr>
485−<tr>
486−<td>Irregular</td>
463+- Irregular
487−<td>None.</td>
464+- None.
488−</tr>
489−</table>
465+ {% /table %}
490
466
491#### AST
467#### AST
492
468
@@ -519,29 +495,26 @@ Turn on stack trace.
519
495
520One argument, fixed
496One argument, fixed
521
497
522−<table>
498+{% table %}
499+
500+- Form
523−<tr><th>Form</th><th>Syntax</th></tr>
501+- Syntax
524−<tr>
502+
503+---
504+
525−<td>Tall</td>
505+- Tall
526−<td>
506+- ```hoon
527−<pre>
528−!: p
507+ !: p
529−</pre>
508+ ```
530−</td>
509+ ***
531−</tr>
532−<tr>
533−<td>Wide</td>
510+- Wide
534−<td>
511+- ```hoon
535−<pre>
536−!:(p)
512+ !:(p)
537−</pre>
513+ ```
538−</td>
514+ ***
539−</tr>
540−<tr>
541−<td>Irregular</td>
515+- Irregular
542−<td>None.</td>
516+- None.
543−</tr>
544−</table>
517+ {% /table %}
545
518
546#### Produces
519#### Produces
547
520
@@ -574,29 +547,26 @@ Turn off stack trace for a subexpression `p`
574
547
575One argument, fixed.
548One argument, fixed.
576
549
577−<table>
550+{% table %}
551+
552+- Form
578−<tr><th>Form</th><th>Syntax</th></tr>
553+- Syntax
579−<tr>
554+
555+---
556+
580−<td>Tall</td>
557+- Tall
581−<td>
558+- ```hoon
582−<pre>
583−!. p
559+ !. p
584−</pre>
560+ ```
585−</td>
561+ ***
586−</tr>
587−<tr>
588−<td>Wide</td>
562+- Wide
589−<td>
563+- ```hoon
590−<pre>
591−!.(p)
564+ !.(p)
592−</pre>
565+ ```
593−</td>
566+ ***
594−</tr>
595−<tr>
596−<td>Irregular</td>
567+- Irregular
597−<td>None.</td>
568+- None.
598−</tr>
599−</table>
569+ {% /table %}
600
570
601#### Produces
571#### Produces
602
572