git.iko.soy/urbit.org
on master help sign in
update stdlib section header levels

(so they look nice in the sidebar)

commit75de55310ab472d3a0e91254af48dfeb534282bb authortinnus-napbus <admin@tinnus-napbus.xyz> dateSun 26 Sep 2021, 00:08 (5 years ago) parentfa44860
35 files changed+870−654
compare with master
unifiedsplit
content/docs/hoon/reference/stdlib/1a.md+13−13 content/docs/hoon/reference/stdlib/1b.md+3−3 content/docs/hoon/reference/stdlib/1c.md+15−15 content/docs/hoon/reference/stdlib/2a.md+14−14 content/docs/hoon/reference/stdlib/2b.md+35−35 content/docs/hoon/reference/stdlib/2d.md+4−4 content/docs/hoon/reference/stdlib/2e.md+2−2 content/docs/hoon/reference/stdlib/2f.md+4−4 content/docs/hoon/reference/stdlib/2g.md+2−2 content/docs/hoon/reference/stdlib/2l.md+5−3 content/docs/hoon/reference/stdlib/2n.md+13−13 content/docs/hoon/reference/stdlib/2p.md+4−4 content/docs/hoon/reference/stdlib/2q.md+19−19 content/docs/hoon/reference/stdlib/3a.md+25−5 content/docs/hoon/reference/stdlib/3b.md+200−29 content/docs/hoon/reference/stdlib/3c.md+26−10 content/docs/hoon/reference/stdlib/3d.md+26−12 content/docs/hoon/reference/stdlib/3f.md+20−4 content/docs/hoon/reference/stdlib/3g.md+12−12 content/docs/hoon/reference/stdlib/4a.md+5−1 content/docs/hoon/reference/stdlib/4b.md+36−37 content/docs/hoon/reference/stdlib/4c.md+12−16 content/docs/hoon/reference/stdlib/4d.md+4−4 content/docs/hoon/reference/stdlib/4e.md+20−33 content/docs/hoon/reference/stdlib/4f.md+49−53 content/docs/hoon/reference/stdlib/4g.md+8−8 content/docs/hoon/reference/stdlib/4h.md+66−64 content/docs/hoon/reference/stdlib/4i.md+70−72 content/docs/hoon/reference/stdlib/4j.md+62−64 content/docs/hoon/reference/stdlib/4k.md+5−5 content/docs/hoon/reference/stdlib/4l.md+11−13 content/docs/hoon/reference/stdlib/4m.md+20−18 content/docs/hoon/reference/stdlib/4n.md+15−13 content/docs/hoon/reference/stdlib/4o.md+27−27 content/docs/hoon/reference/stdlib/5f.md+18−23
content/docs/hoon/reference/stdlib/1a.md+13−13
@@ -4,7 +4,7 @@ weight = 1
44template = "doc.html"
55+++
66
7−### `++add`
7+## `++add`
88
99Add
1010
@@ -70,7 +70,7 @@ An [`atom`](/docs/glossary/atom).
7070
7171---
7272
73−### `++dec`
73+## `++dec`
7474
7575Decrement
7676
@@ -127,7 +127,7 @@ An [`atom`](/docs/glossary/atom).
127127
128128---
129129
130−### `++div`
130+## `++div`
131131
132132Divide
133133
@@ -191,7 +191,7 @@ An [`atom`](/docs/glossary/atom).
191191
192192---
193193
194−### `++dvr`
194+## `++dvr`
195195
196196Divide with remainder
197197
@@ -250,7 +250,7 @@ A cell of [`atoms`](/docs/glossary/atom).
250250
251251---
252252
253−### `++gte`
253+## `++gte`
254254
255255Greater-than/equal
256256
@@ -295,7 +295,7 @@ A flag.
295295
296296---
297297
298−### `++gth`
298+## `++gth`
299299
300300Greater-than
301301
@@ -340,7 +340,7 @@ A flag.
340340
341341---
342342
343−### `++lte`
343+## `++lte`
344344
345345Less-than/equal
346346
@@ -408,7 +408,7 @@ A flag.
408408
409409---
410410
411−### `++lth`
411+## `++lth`
412412
413413Less-than
414414
@@ -477,7 +477,7 @@ A flag.
477477
478478---
479479
480−### `++max`
480+## `++max`
481481
482482Maximum
483483
@@ -548,7 +548,7 @@ An [`atom`](/docs/glossary/atom).
548548
549549---
550550
551−### `++min`
551+## `++min`
552552
553553Minimum
554554
@@ -614,7 +614,7 @@ An [`atom`](/docs/glossary/atom).
614614
615615---
616616
617−### `++mod`
617+## `++mod`
618618
619619Modulus
620620
@@ -674,7 +674,7 @@ An [`atom`](/docs/glossary/atom).
674674
675675---
676676
677−### `++mul`
677+## `++mul`
678678
679679Multiply
680680
@@ -731,7 +731,7 @@ An [`atom`](/docs/glossary/atom).
731731
732732---
733733
734−### `++sub`
734+## `++sub`
735735
736736Subtract
737737
content/docs/hoon/reference/stdlib/1b.md+3−3
@@ -7,7 +7,7 @@ template = "doc.html"
77Check out the Nock [explanation](/docs/nock/) for more
88information on the tree-addressing system.
99
10−### `++cap`
10+## `++cap`
1111
1212Tree head
1313
@@ -76,7 +76,7 @@ A constant [`atom`](/docs/glossary/atom).
7676
7777---
7878
79−### `++mas`
79+## `++mas`
8080
8181Address within head/tail
8282
@@ -192,7 +192,7 @@ this case, because `+7` is within the tail (subtree `+3`).
192192
193193---
194194
195−### `++peg`
195+## `++peg`
196196
197197Address within address
198198
content/docs/hoon/reference/stdlib/1c.md+15−15
@@ -4,7 +4,7 @@ weight = 3
44template = "doc.html"
55+++
66
7−### `$bite`
7+## `+$bite`
88
99Atom slice specifier.
1010
@@ -42,7 +42,7 @@ supplied, it defaults to a value of 1.
4242 0
4343```
4444
45−### `$bloq`
45+## `+$bloq`
4646
4747Blocksize
4848
@@ -105,7 +105,7 @@ See the [bit arithmetic](/docs/hoon/reference/stdlib/2c) section for operations
105105
106106---
107107
108−### `++each`
108+## `++each`
109109
110110Mold of fork between two types
111111
@@ -138,7 +138,7 @@ A mold generator. Produces a discriminated fork between two types, defaulting to
138138
139139---
140140
141−### `++gate`
141+## `++gate`
142142
143143Function
144144
@@ -185,7 +185,7 @@ See also: [`++lift`](/docs/hoon/reference/stdlib/2a#lift), [`++cork`](/docs/hoon
185185
186186---
187187
188−### `++list`
188+## `++list`
189189
190190List
191191
@@ -228,7 +228,7 @@ See also: [`++turn`](/docs/hoon/reference/stdlib/2b#turn), [`++snag`](/docs/hoon
228228
229229---
230230
231−### `++lone`
231+## `++lone`
232232
233233Face on mold
234234
@@ -270,7 +270,7 @@ p=0
270270
271271---
272272
273−### `++pair`
273+## `++pair`
274274
275275Mold of pair of types
276276
@@ -298,7 +298,7 @@ A mold generator. Produces a tuple of two of the types passed in.
298298
299299---
300300
301−### `++pole`
301+## `++pole`
302302
303303Faceless [`list`](/docs/hoon/reference/stdlib/1c#list)
304304
@@ -326,7 +326,7 @@ A mold generator. A [`list`](/docs/hoon/reference/stdlib/1c#list) without the fa
326326
327327---
328328
329−### `++qual`
329+## `++qual`
330330
331331Mold of 4-type tuple
332332
@@ -354,7 +354,7 @@ A mold generator. Produces a tuple of four of the types passed in.
354354
355355---
356356
357−### `++quip`
357+## `++quip`
358358
359359Mold of pair of [`list`](/docs/hoon/reference/stdlib/1c#list) and type
360360
@@ -387,7 +387,7 @@ new state. You'll often see `quip` used in Gall apps.
387387
388388---
389389
390−### `++step`
390+## `++step`
391391
392392Atom size or offset, in [bloq](#bloq)s.
393393
@@ -412,7 +412,7 @@ Atom size or offset, in [bloq](#bloq)s.
412412
413413---
414414
415−### `++trap`
415+## `++trap`
416416
417417[`Core`](/docs/glossary/core) with one arm `$`
418418
@@ -445,7 +445,7 @@ A trap is a [`core`](/docs/glossary/core) with one arm `$`.
445445
446446---
447447
448−### `++tree`
448+## `++tree`
449449
450450Tree mold generator
451451
@@ -469,7 +469,7 @@ left/right sub `tree` of the same type. Pretty-printed with `{}`.
469469
470470---
471471
472−### `++trel`
472+## `++trel`
473473
474474Mold of three types
475475
@@ -497,7 +497,7 @@ A mold generator. A mold of the tuple of the three types passed in.
497497
498498---
499499
500−### `++unit`
500+## `++unit`
501501
502502Maybe
503503
content/docs/hoon/reference/stdlib/2a.md+14−14
@@ -4,7 +4,7 @@ weight = 4
44template = "doc.html"
55+++
66
7−### `++biff`
7+## `++biff`
88
99[`Unit`](/docs/hoon/reference/stdlib/1c#unit) as argument
1010
@@ -44,7 +44,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).
4444
4545---
4646
47−### `++bind`
47+## `++bind`
4848
4949Non-unit function to [`unit`](/docs/hoon/reference/stdlib/1c#unit), producing [`unit`](/docs/hoon/reference/stdlib/1c#unit)
5050
@@ -86,7 +86,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).
8686
8787---
8888
89−### `++bond`
89+## `++bond`
9090
9191Replace null
9292
@@ -129,7 +129,7 @@ Either the product of `a` or the value inside of [`unit`](/docs/hoon/reference/s
129129
130130---
131131
132−### `++both`
132+## `++both`
133133
134134Group [`unit`](/docs/hoon/reference/stdlib/1c#unit) values into pair
135135
@@ -171,7 +171,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit) of the two initial values.
171171
172172---
173173
174−### `++clap`
174+## `++clap`
175175
176176Combine two [`units`](/docs/hoon/reference/stdlib/1c#unit) with function
177177
@@ -221,7 +221,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).
221221
222222---
223223
224−### `++clef`
224+## `++clef`
225225
226226Compose two [`units`](/docs/hoon/reference/stdlib/1c#unit) with function
227227
@@ -270,7 +270,7 @@ A `unit`.
270270
271271---
272272
273−### `++drop`
273+## `++drop`
274274
275275[`Unit`](/docs/hoon/reference/stdlib/1c#unit) to list
276276
@@ -309,7 +309,7 @@ A list.
309309
310310---
311311
312−### `++fall`
312+## `++fall`
313313
314314Give [`unit`](/docs/hoon/reference/stdlib/1c#unit) a default value
315315
@@ -344,7 +344,7 @@ Either a [`noun`](/docs/glossary/noun) `b` or the unwrapped value of [`unit`](/d
344344
345345---
346346
347−### `++flit`
347+## `++flit`
348348
349349Make filter
350350
@@ -383,7 +383,7 @@ Accepts gate `a` which produces a `?`. Applies `a` to `b`, producing `b` wrapped
383383
384384---
385385
386−### `++hunt`
386+## `++hunt`
387387
388388First of units
389389
@@ -436,7 +436,7 @@ A `unit`.
436436
437437---
438438
439−### `++lift`
439+## `++lift`
440440
441441Curried bind
442442
@@ -477,7 +477,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit).
477477
478478---
479479
480−### `++mate`
480+## `++mate`
481481
482482Choose
483483
@@ -533,7 +533,7 @@ A [`unit`](/docs/hoon/reference/stdlib/1c#unit) or crash.
533533
534534---
535535
536−### `++need`
536+## `++need`
537537
538538Unwrap [`unit`](/docs/hoon/reference/stdlib/1c#unit)
539539
@@ -579,7 +579,7 @@ Either the unwrapped value of `a` (`u.a`), or crash.
579579
580580---
581581
582−### `++some`
582+## `++some`
583583
584584Wrap value in a [`unit`](/docs/hoon/reference/stdlib/1c#unit)
585585
content/docs/hoon/reference/stdlib/2b.md+35−35
@@ -4,7 +4,7 @@ weight = 5
44template = "doc.html"
55+++
66
7−### `++bake`
7+## `++bake`
88
99**Note:** This function isn't specifically a list function but is included in section 2b of the standard library so is documented here for completeness.
1010
@@ -50,7 +50,7 @@ nest-fail
5050
5151---
5252
53−### `++fand`
53+## `++fand`
5454
5555All indices in `list`
5656
@@ -111,7 +111,7 @@ A `list`.
111111
112112---
113113
114−### `++find`
114+## `++find`
115115
116116First index in `list`
117117
@@ -176,7 +176,7 @@ The `unit` of an atom.
176176
177177---
178178
179−### `++flop`
179+## `++flop`
180180
181181Reverse
182182
@@ -219,7 +219,7 @@ A `list`.
219219
220220---
221221
222−### `++gulf`
222+## `++gulf`
223223
224224List from range
225225
@@ -260,7 +260,7 @@ a `list`.
260260
261261---
262262
263−### `++homo`
263+## `++homo`
264264
265265Homogenize
266266
@@ -306,7 +306,7 @@ a `list`.
306306
307307---
308308
309−### `++into`
309+## `++into`
310310
311311Insert item at index
312312
@@ -343,7 +343,7 @@ the list of `a` with the item `c` inserted at index `b`.
343343
344344---
345345
346−### `++join`
346+## `++join`
347347
348348Constructs a new `list`, placing `sep` between every element of `lit`.
349349
@@ -385,7 +385,7 @@ a `list`.
385385
386386---
387387
388−### `++lent`
388+## `++lent`
389389
390390List length
391391
@@ -426,7 +426,7 @@ an atom.
426426
427427---
428428
429−### `++levy`
429+## `++levy`
430430
431431Logical "and" on list
432432
@@ -470,7 +470,7 @@ A boolean.
470470
471471---
472472
473−### `++lien`
473+## `++lien`
474474
475475Logical "or" on list
476476
@@ -511,7 +511,7 @@ every element of `++list` `a`.
511511
512512---
513513
514−### `++limo`
514+## `++limo`
515515
516516List Constructor
517517
@@ -545,7 +545,7 @@ A `++list`.
545545
546546---
547547
548−### `++murn`
548+## `++murn`
549549
550550Maybe transform
551551
@@ -587,7 +587,7 @@ A unit.
587587
588588---
589589
590−### `++oust`
590+## `++oust`
591591
592592Remove
593593
@@ -625,7 +625,7 @@ A `++list`.
625625
626626---
627627
628−### `++reap`
628+## `++reap`
629629
630630Replicate
631631
@@ -668,7 +668,7 @@ A list.
668668
669669---
670670
671−### `++rear`
671+## `++rear`
672672
673673Last item of list
674674
@@ -708,7 +708,7 @@ dojo: hoon expression failed
708708
709709---
710710
711−### `++reel`
711+## `++reel`
712712
713713Right fold
714714
@@ -787,7 +787,7 @@ We can fix this with `|:`:
787787
788788---
789789
790−### `++roll`
790+## `++roll`
791791
792792Left fold
793793
@@ -866,7 +866,7 @@ We can fix this with `|:`:
866866
867867---
868868
869−### `++scag`
869+## `++scag`
870870
871871Prefix
872872
@@ -908,7 +908,7 @@ A list of the same type as `b`.
908908
909909---
910910
911−### `++skid`
911+## `++skid`
912912
913913Separate
914914
@@ -950,7 +950,7 @@ A cell of two lists.
950950
951951---
952952
953−### `++skim`
953+## `++skim`
954954
955955Suffix
956956
@@ -990,7 +990,7 @@ A list.
990990
991991---
992992
993−### `++skip`
993+## `++skip`
994994
995995Except
996996
@@ -1030,7 +1030,7 @@ A list of the same type as `a`.
10301030
10311031---
10321032
1033−### `++slag`
1033+## `++slag`
10341034
10351035Suffix
10361036
@@ -1070,7 +1070,7 @@ A list of the same type as `b`.
10701070
10711071---
10721072
1073−### `++snag`
1073+## `++snag`
10741074
10751075Index
10761076
@@ -1115,7 +1115,7 @@ Produces an element of `b`, or crashes if no element exists at that index.
11151115
11161116---
11171117
1118−### `++snap`
1118+## `++snap`
11191119
11201120Replace item at index
11211121
@@ -1152,7 +1152,7 @@ the list of `a` with the item at index `b` replaced with `c`.
11521152
11531153---
11541154
1155−### `++snip`
1155+## `++snip`
11561156
11571157Drop tail off list
11581158
@@ -1192,7 +1192,7 @@ A `list`.
11921192
11931193---
11941194
1195−### `++snoc`
1195+## `++snoc`
11961196
11971197Append
11981198
@@ -1227,7 +1227,7 @@ Produces a list of `b` appended to `a`.
12271227
12281228---
12291229
1230−### `++sort`
1230+## `++sort`
12311231
12321232Quicksort
12331233
@@ -1270,7 +1270,7 @@ A list
12701270
12711271---
12721272
1273−### `++spin` {#spin}
1273+## `++spin` {#spin}
12741274
12751275Gate to list, with state
12761276
@@ -1338,7 +1338,7 @@ is the continuation of the RNG.
13381338
13391339---
13401340
1341−### `++spun` {#spun}
1341+## `++spun` {#spun}
13421342
13431343Gate to list, with state
13441344
@@ -1386,7 +1386,7 @@ A list.
13861386
13871387---
13881388
1389−### `++swag`
1389+## `++swag`
13901390
13911391Infix
13921392
@@ -1427,7 +1427,7 @@ A list of the same type as `c`.
14271427
14281428---
14291429
1430−### `++turn`
1430+## `++turn`
14311431
14321432Gate to list
14331433
@@ -1476,7 +1476,7 @@ A list.
14761476
14771477---
14781478
1479−### `++weld`
1479+## `++weld`
14801480
14811481Concatenate
14821482
@@ -1512,7 +1512,7 @@ Concatenate two `++list`s `a` and `b`.
15121512
15131513---
15141514
1515−### `++welp`
1515+## `++welp`
15161516
15171517Perfect weld
15181518
@@ -1566,7 +1566,7 @@ A list.
15661566
15671567---
15681568
1569−### `++zing`
1569+## `++zing`
15701570
15711571Turns a `++list` of lists into a single list by promoting the elements of
15721572each sublist into the higher.
content/docs/hoon/reference/stdlib/2d.md+4−4
@@ -4,7 +4,7 @@ weight = 7
44template = "doc.html"
55+++
66
7−### `++con`
7+## `++con`
88
99Binary OR
1010
@@ -99,7 +99,7 @@ bitwise AND is the logical conjunction.
9999
100100---
101101
102−### `++dis`
102+## `++dis`
103103
104104Binary AND
105105
@@ -188,7 +188,7 @@ bitwise AND is the logical conjunction.
188188
189189---
190190
191−### `++mix`
191+## `++mix`
192192
193193Binary XOR
194194
@@ -274,7 +274,7 @@ its samples and its product are stacked.
274274
275275---
276276
277−### `++not`
277+## `++not`
278278
279279Binary NOT
280280
content/docs/hoon/reference/stdlib/2e.md+2−2
@@ -4,7 +4,7 @@ weight = 8
44template = "doc.html"
55+++
66
7−### `++mug` {#mug}
7+## `++mug` {#mug}
88
99murmur3 scrambler
1010
@@ -70,7 +70,7 @@ An atom.
7070
7171---
7272
73−### `++muk`
73+## `++muk`
7474
7575Standard MurmurHash3
7676
content/docs/hoon/reference/stdlib/2f.md+4−4
@@ -4,7 +4,7 @@ weight = 9
44template = "doc.html"
55+++
66
7−### `++aor`
7+## `++aor`
88
99Alphabetical order
1010
@@ -97,7 +97,7 @@ This is different than [+dor](#dor) in that it compares atoms one byte at a time
9797
9898---
9999
100−### `++dor`
100+## `++dor`
101101
102102Depth order
103103
@@ -172,7 +172,7 @@ If one sample is a cell and the other is an atom, the cell sample is treated as
172172
173173---
174174
175−### `++gor`
175+## `++gor`
176176
177177Mug order
178178
@@ -250,7 +250,7 @@ elements) for ordering.
250250
251251---
252252
253−### `++mor`
253+## `++mor`
254254
255255(more) mug order
256256
content/docs/hoon/reference/stdlib/2g.md+2−2
@@ -4,7 +4,7 @@ weight = 10
44template = "doc.html"
55+++
66
7−### `++pow`
7+## `++pow`
88
99Computes `a` raised to the power of `b`, producing an atom.
1010
@@ -52,7 +52,7 @@ An atom.
5252
5353---
5454
55−### `++sqt`
55+## `++sqt`
5656
5757Computes the square root of `a` and its remainder.
5858
content/docs/hoon/reference/stdlib/2l.md+5−3
@@ -4,7 +4,7 @@ weight = 15
44template = "doc.html"
55+++
66
7−### `++malt`
7+## `++malt`
88
99Map from list
1010
@@ -37,7 +37,8 @@ A map.
3737```
3838
3939---
40−### `++molt`
40+
41+## `++molt`
4142
4243Map from pair list
4344
@@ -75,7 +76,8 @@ A map.
7576Only used internally as a helper to `malt`.
7677
7778---
78−### `++silt`
79+
80+## `++silt`
7981
8082Set from list
8183
content/docs/hoon/reference/stdlib/2n.md+13−13
@@ -4,7 +4,7 @@ weight = 17
44template = "doc.html"
55+++
66
7−### `++aftr`
7+## `++aftr`
88
99Pair after
1010
@@ -36,7 +36,7 @@ Pair after
3636
3737---
3838
39−### `++cork`
39+## `++cork`
4040
4141Compose forward
4242
@@ -69,7 +69,7 @@ Build `f` such that `(f x) .= (b (a x))`.
6969
7070---
7171
72−### `++corl`
72+## `++corl`
7373
7474Compose backward
7575
@@ -101,7 +101,7 @@ Build `f` such that
101101
102102---
103103
104−### `++curr` {#curry}
104+## `++curr` {#curry}
105105
106106Right curry
107107
@@ -140,7 +140,7 @@ A gate.
140140
141141---
142142
143−### `++cury`
143+## `++cury`
144144
145145Curry left
146146
@@ -179,7 +179,7 @@ A gate.
179179
180180---
181181
182−### `++fore`
182+## `++fore`
183183
184184Pair before
185185
@@ -211,7 +211,7 @@ Pair before
211211
212212---
213213
214−### `++head`
214+## `++head`
215215
216216Get head
217217
@@ -246,7 +246,7 @@ A noun.
246246
247247---
248248
249−### `++same`
249+## `++same`
250250
251251Identity
252252
@@ -281,7 +281,7 @@ A noun.
281281
282282---
283283
284−### `++succ`
284+## `++succ`
285285
286286Successor
287287
@@ -310,7 +310,7 @@ An `atom`.
310310
311311---
312312
313−### `++tail`
313+## `++tail`
314314
315315Get tail
316316
@@ -345,7 +345,7 @@ A noun.
345345
346346---
347347
348−### `++test`
348+## `++test`
349349
350350Test for equality
351351
@@ -385,7 +385,7 @@ A flag.
385385
386386---
387387
388−### `++lead`
388+## `++lead`
389389
390390Put head
391391
@@ -417,7 +417,7 @@ A cell of `[a b]`.
417417
418418---
419419
420−### `++late`
420+## `++late`
421421
422422Put tail
423423
content/docs/hoon/reference/stdlib/2p.md+4−4
@@ -4,7 +4,7 @@ weight = 19
44template = "doc.html"
55+++
66
7−### `++cue` {#cue}
7+## `++cue` {#cue}
88
99Unpack atom to noun
1010
@@ -54,7 +54,7 @@ A noun.
5454
5555---
5656
57−### `++jam` {#jam}
57+## `++jam` {#jam}
5858
5959Pack noun to atom
6060
@@ -124,7 +124,7 @@ An atom.
124124
125125---
126126
127−### `++mat`
127+## `++mat`
128128
129129Length-encode
130130
@@ -189,7 +189,7 @@ A cell of two atoms, `p` and `q`.
189189
190190---
191191
192−### `++rub`
192+## `++rub`
193193
194194Length-decode
195195
content/docs/hoon/reference/stdlib/2q.md+19−19
@@ -4,7 +4,7 @@ weight = 20
44template = "doc.html"
55+++
66
7−### `+$axis`
7+## `+$axis`
88
99Tree address
1010
@@ -34,7 +34,7 @@ right and `0` left.
3434
3535---
3636
37−### `+$bean`
37+## `+$bean`
3838
3939Boolean
4040
@@ -67,7 +67,7 @@ Note 1 is false and 0 is true. This is sometimes referred to as "loobean".
6767
6868---
6969
70−### `+$flag`
70+## `+$flag`
7171
7272Boolean
7373
@@ -81,7 +81,7 @@ Same as [$bean](#bean).
8181
8282---
8383
84−### `+$char`
84+## `+$char`
8585
8686Character
8787
@@ -107,7 +107,7 @@ A single `@t` character.
107107
108108---
109109
110−### `+$cord`
110+## `+$cord`
111111
112112UTF-8 text
113113
@@ -149,7 +149,7 @@ from `tape` to `cord`.
149149
150150---
151151
152−### `+$byts`
152+## `+$byts`
153153
154154bytes, LSB first
155155
@@ -179,7 +179,7 @@ An atom `dat` with its byte-length specified in `wid`. This is to handle leading
179179
180180---
181181
182−### `+$date`
182+## `+$date`
183183
184184Parsed date
185185
@@ -211,7 +211,7 @@ See also: [`year`](/docs/hoon/reference/stdlib/3c#year), [`yore`](/docs/hoon/ref
211211
212212---
213213
214−### `+$knot`
214+## `+$knot`
215215
216216ASCII text
217217
@@ -235,7 +235,7 @@ An atom type that only permits ASCII characters.
235235
236236---
237237
238−### `+$noun`
238+## `+$noun`
239239
240240Any noun
241241
@@ -264,7 +264,7 @@ Any noun
264264
265265---
266266
267−### `+$path`
267+## `+$path`
268268
269269Like unix path
270270
@@ -295,7 +295,7 @@ A path is a list of [`$knot`](#knot).
295295
296296---
297297
298−### `+$stud`
298+## `+$stud`
299299
300300Standard name
301301
@@ -311,7 +311,7 @@ Standard name
311311
312312---
313313
314−### `+$tang`
314+## `+$tang`
315315
316316Bottom-first error
317317
@@ -349,7 +349,7 @@ bar
349349
350350---
351351
352−### `+$tank`
352+## `+$tank`
353353
354354Formatted print tree
355355
@@ -401,7 +401,7 @@ A `tank` is one of four cases:
401401
402402---
403403
404−### `+$tape`
404+## `+$tape`
405405
406406List of characters
407407
@@ -434,7 +434,7 @@ One of Hoon's two string types, the other being [`+cord`](#cord). A tape is a li
434434
435435---
436436
437−### `+$tour`
437+## `+$tour`
438438
439439UTF-32 clusters
440440
@@ -460,7 +460,7 @@ A `tour` is a list of UTF-32 characters.
460460
461461---
462462
463−### `+$tarp`
463+## `+$tarp`
464464
465465Parsed time
466466
@@ -491,7 +491,7 @@ for precision.
491491
492492---
493493
494−### `+$term`
494+## `+$term`
495495
496496Hoon constant
497497
@@ -528,7 +528,7 @@ special syntax, `$`.
528528
529529---
530530
531−### `+$wain`
531+## `+$wain`
532532
533533List of strings
534534
@@ -552,7 +552,7 @@ A list of `cord`s. A `wain` is used instead of a single `cord` with `\n`.
552552
553553---
554554
555−### `+$wall`
555+## `+$wall`
556556
557557List of list of characters
558558
content/docs/hoon/reference/stdlib/3a.md+25−5
@@ -4,7 +4,7 @@ weight = 21
44template = "doc.html"
55+++
66
7−### `++egcd`
7+## `++egcd`
88
99Extended Euclidean algorithm
1010
@@ -54,7 +54,8 @@ of `a` and `b`. Also produces `u` and `v` such that `au + bv = GCD(a, b)`.
5454```
5555
5656---
57−### `++fo`
57+
58+## `++fo`
5859
5960Modulo prime
6061
@@ -69,6 +70,7 @@ Container core for modular arithmetic functions.
6970```
7071
7172---
73+
7274### `++dif:fo`
7375
7476Subtraction
@@ -106,6 +108,7 @@ An atom.
106108```
107109
108110---
111+
109112### `++exp:fo`
110113
111114Exponent
@@ -153,6 +156,7 @@ An atom.
153156```
154157
155158---
159+
156160### `++fra:fo`
157161
158162Divide
@@ -202,6 +206,7 @@ An atom.
202206```
203207
204208---
209+
205210### `++inv:fo`
206211
207212Inverse
@@ -248,6 +253,7 @@ An atom.
248253```
249254
250255---
256+
251257### `++pro:fo`
252258
253259Multiplication
@@ -285,6 +291,7 @@ An atom.
285291```
286292
287293---
294+
288295### `++sit:fo`
289296
290297Modulus
@@ -317,6 +324,7 @@ An atom.
317324```
318325
319326---
327+
320328### `++sum:fo`
321329
322330Modular sum
@@ -355,7 +363,8 @@ An atom.
355363```
356364
357365---
358−### `++si`
366+
367+## `++si`
359368
360369Signed integer
361370
@@ -393,6 +402,7 @@ one. For example:
393402```
394403
395404---
405+
396406### `++abs:si`
397407
398408Absolute value
@@ -407,7 +417,7 @@ Produces the absolute value of signed integer `a`.
407417
408418An atom.
409419
410−### Source
420+#### Source
411421
412422```hoon
413423 ++ abs |=(a=@s (add (end 0 1 a) (rsh 0 1 a)))
@@ -424,6 +434,7 @@ An atom.
424434```
425435
426436---
437+
427438### `++dif:si`
428439
429440Subtraction
@@ -458,6 +469,7 @@ A signed integer.
458469```
459470
460471---
472+
461473### `++dul:si`
462474
463475Modulus
@@ -497,6 +509,7 @@ An atom.
497509```
498510
499511---
512+
500513### `++fra:si`
501514
502515Divide
@@ -534,6 +547,7 @@ A signed atom.
534547```
535548
536549---
550+
537551### `++new:si`
538552
539553Atom to @s
@@ -576,6 +590,7 @@ A signed integer.
576590```
577591
578592---
593+
579594### `++old:si`
580595
581596Sign and absolute value
@@ -608,6 +623,7 @@ A cell composed of a `term` and an atom.
608623```
609624
610625---
626+
611627### `++pro:si`
612628
613629Multiplication
@@ -638,6 +654,7 @@ Produces a signed integer by multiplying `a` and `b`.
638654```
639655
640656---
657+
641658### `++rem:si`
642659
643660Remainder
@@ -676,8 +693,8 @@ A signed integer.
676693 --2
677694```
678695
679−
680696---
697+
681698### `++sum:si`
682699
683700Addition
@@ -723,6 +740,7 @@ A signed integer.
723740```
724741
725742---
743+
726744### `++sun:si`
727745
728746@u to @s
@@ -766,6 +784,7 @@ An atom.
766784```
767785
768786---
787+
769788### `++syn:si`
770789
771790Sign test
@@ -798,6 +817,7 @@ An `term`.
798817```
799818
800819---
820+
801821### `++cmp:si`
802822
803823Compare
content/docs/hoon/reference/stdlib/3b.md+200−29
@@ -4,7 +4,7 @@ weight = 22
44template = "doc.html"
55+++
66
7−### `++fn`
7+## `++fn`
88
99Float
1010
@@ -25,7 +25,7 @@ exponent, a signed decimal; and `a` to the significand, an unsigned integer.
2525 ==
2626```
2727
28−### Examples
28+#### Examples
2929
3030```
3131 > *fn
@@ -44,9 +44,9 @@ exponent, a signed decimal; and `a` to the significand, an unsigned integer.
4444 [%f s=%.y e=--17 a=7.333.324.850.834.000.007.430.214.137.126.970]
4545```
4646
47−
4847---
49−### `++dn`
48+
49+## `++dn`
5050
5151Decimal float
5252
@@ -79,7 +79,8 @@ and `a` to the significand, an unsigned integer.
7979```
8080
8181---
82−### `++rn`
82+
83+## `++rn`
8384
8485Parsed decimal float
8586
@@ -106,7 +107,8 @@ not-a-number (`$n`).
106107```
107108
108109---
109−### `++fl`
110+
111+## `++fl`
110112
111113Arbitrary-precision floating-point
112114
@@ -134,6 +136,7 @@ Container arm for floating-point arithmetic functions.
134136```
135137
136138---
139+
137140### `++rou:fl`
138141
139142Round
@@ -175,6 +178,7 @@ An `fn`.
175178```
176179
177180---
181+
178182### `++rau:fl`
179183
180184Various roundings
@@ -212,12 +216,12 @@ An `fn`.
212216 [%f s=%.y e=-102 a=6.626.897.619.228.945.634.459.505.846.648.832]
213217```
214218
215−
216219#### Discussion
217220
218221See `lug:fl` for possible rounding operations.
219222
220223---
224+
221225### `++add:fl`
222226
223227Add
@@ -273,6 +277,7 @@ An `fn`.
273277```
274278
275279---
280+
276281### `++sub:fl`
277282
278283Subtract
@@ -329,6 +334,7 @@ An `fn`.
329334```
330335
331336---
337+
332338### `++mul:fl`
333339
334340Multiply
@@ -362,6 +368,7 @@ An `fn`.
362368```
363369
364370---
371+
365372### `++div:fl`
366373
367374Divide
@@ -400,6 +407,7 @@ An `fn`.
400407```
401408
402409---
410+
403411### `++sqt:fl`
404412
405413Square root
@@ -437,6 +445,7 @@ An `fn`.
437445```
438446
439447---
448+
440449### `++lth:fl`
441450
442451Less than
@@ -477,6 +486,7 @@ An `flag`.
477486```
478487
479488---
489+
480490### `++equ:fl`
481491
482492Equals
@@ -515,6 +525,7 @@ A `flag`.
515525```
516526
517527---
528+
518529### `++ibl:fl`
519530
520531Integer binary logarithm
@@ -546,6 +557,7 @@ A signed integer.
546557```
547558
548559---
560+
549561### `++uni:fl`
550562
551563Change representation to odd
@@ -582,6 +594,7 @@ A cell of a signed integer and an unsigned integer.
582594```
583595
584596---
597+
585598### `++xpd:fl`
586599
587600Expand
@@ -625,6 +638,7 @@ A cell of a signed integer and an unsigned integer.
625638```
626639
627640---
641+
628642### `++lug:fl`
629643
630644Central rounding mechanism
@@ -634,6 +648,7 @@ value selected for `t`. `s` is a sticky bit that represents a value less than
634648ULP(a) = 2^(e.a)
635649
636650Possible rounding operations:
651+
637652- Floor (`$fl`)
638653- Ceiling (`$ce`)
639654- Smaller (`$sm`)
@@ -730,6 +745,7 @@ An `fn`.
730745```
731746
732747---
748+
733749### `++drg:fl`
734750
735751Get printable decimal
@@ -814,6 +830,7 @@ A cell of a signed integer and an unsigned integer.
814830```
815831
816832---
833+
817834### `++toj:fl`
818835
819836Round to integer
@@ -855,6 +872,7 @@ An `fn`.
855872```
856873
857874---
875+
858876### `++ned:fl`
859877
860878Require float
@@ -882,7 +900,6 @@ A cell of a signed integer and an unsigned integer.
882900
883901#### Examples
884902
885−
886903```
887904 > (ned:fl [%f s=%.y e=-11 a=7.530.107.827.833.587])
888905 [%f s=%.y e=-11 a=7.530.107.827.833.587]
@@ -897,6 +914,7 @@ A cell of a signed integer and an unsigned integer.
897914```
898915
899916---
917+
900918### `++shf:fl`
901919
902920Shift power
@@ -937,6 +955,7 @@ An `fn`.
937955```
938956
939957---
958+
940959### `++fli:fl`
941960
942961Flip sign
@@ -973,6 +992,7 @@ An `fn`.
973992```
974993
975994---
995+
976996### `++swr:fl`
977997
978998Switch rounding
@@ -1000,6 +1020,7 @@ Switches the rounding mode of `r:fl`.
10001020```
10011021
10021022---
1023+
10031024### `++prc:fl`
10041025
10051026Force precision of 2 or greater
@@ -1030,6 +1051,7 @@ Otherwise, a crash is produced.
10301051```
10311052
10321053---
1054+
10331055### `++den:fl`
10341056
10351057Behavior
@@ -1062,6 +1084,7 @@ The default value of `d` is `%d`.
10621084```
10631085
10641086---
1087+
10651088### `++emn:fl`
10661089
10671090Minimum exponent
@@ -1082,6 +1105,7 @@ Produces `v:fl`, the minimum exponent. The default minimum exponent is -16.494.
10821105```
10831106
10841107---
1108+
10851109### `++emx:fl`
10861110
10871111Maximum exponent
@@ -1105,6 +1129,7 @@ Returns the maximum exponent of `fl`. The default maximum exponent is --16.271.
11051129```
11061130
11071131---
1132+
11081133### `++spd:fl`
11091134
11101135Smallest denormal
@@ -1125,6 +1150,7 @@ Produces the smallest possible denormalized float.
11251150```
11261151
11271152---
1153+
11281154### `++spn:fl`
11291155
11301156Smallest normal
@@ -1145,6 +1171,7 @@ Produces the smallest representable normal float.
11451171```
11461172
11471173---
1174+
11481175### `++lfn:fl`
11491176
11501177Largest normal
@@ -1165,6 +1192,7 @@ Produces the largest representable normal float.
11651192```
11661193
11671194---
1195+
11681196### `++lfe:fl`
11691197
11701198Maximum
@@ -1185,6 +1213,7 @@ Produces the sum of `emx:fl` plus `prc:fl`.
11851213```
11861214
11871215---
1216+
11881217### `++zer:fl`
11891218
11901219Zero
@@ -1207,6 +1236,7 @@ Produces zero represented as a float.
12071236```
12081237
12091238---
1239+
12101240### `++rou:fl`
12111241
12121242Round
@@ -1250,6 +1280,7 @@ An `fn`.
12501280```
12511281
12521282---
1283+
12531284### `++syn:fl`
12541285
12551286Get sign
@@ -1283,6 +1314,7 @@ An `fn`.
12831314```
12841315
12851316---
1317+
12861318### `++abs:fl`
12871319
12881320Absolute value
@@ -1317,6 +1349,7 @@ An `fn`.
13171349```
13181350
13191351---
1352+
13201353### `++add:fl`
13211354
13221355Add
@@ -1365,6 +1398,7 @@ An `fn`.
13651398```
13661399
13671400---
1401+
13681402### `++ead:fl`
13691403
13701404Exact add
@@ -1414,6 +1448,7 @@ An `fn`.
14141448```
14151449
14161450---
1451+
14171452### `++sub:fl`
14181453
14191454Subtract
@@ -1445,6 +1480,7 @@ An `fn`.
14451480```
14461481
14471482---
1483+
14481484### `++mul:fl`
14491485
14501486Multiply
@@ -1479,6 +1515,7 @@ An `fn`.
14791515```
14801516
14811517---
1518+
14821519### `++emu:fl`
14831520
14841521Exact multiply
@@ -1512,6 +1549,7 @@ An `fn`.
15121549```
15131550
15141551---
1552+
15151553### `++div:fl`
15161554
15171555Divide
@@ -1544,6 +1582,7 @@ An `fn`.
15441582```
15451583
15461584---
1585+
15471586### `++fma:fl`
15481587
15491588Fused multiply-add
@@ -1579,6 +1618,7 @@ An `fn`.
15791618```
15801619
15811620---
1621+
15821622### `++sqt:fl`
15831623
15841624Square root
@@ -1612,6 +1652,7 @@ An `fn`.
16121652```
16131653
16141654---
1655+
16151656### `++inv:fl`
16161657
16171658Inverse
@@ -1654,6 +1695,7 @@ An `fn`.
16541695```
16551696
16561697---
1698+
16571699### `++sun:fl`
16581700
16591701Signed integer to float
@@ -1690,7 +1732,8 @@ An `fn`.
16901732```
16911733
16921734---
1693−### `++san:fl`
1735+
1736+### `++san:fl`
16941737
16951738Signed integer to float
16961739
@@ -1724,6 +1767,7 @@ An `fn`.
17241767```
17251768
17261769---
1770+
17271771### `++lth:fl`
17281772
17291773Less than
@@ -1770,6 +1814,7 @@ A `unit` of `flag`.
17701814```
17711815
17721816---
1817+
17731818### `++lte:fl`
17741819
17751820Less than or equal
@@ -1815,6 +1860,7 @@ A `unit` of `flag`.
18151860```
18161861
18171862---
1863+
18181864### `++equ:fl`
18191865
18201866Equals
@@ -1857,6 +1903,7 @@ An `unit` of `flag`.
18571903```
18581904
18591905---
1906+
18601907### `++gte:fl`
18611908
18621909Greater or equal than
@@ -1895,6 +1942,7 @@ An `unit` of `flag`.
18951942```
18961943
18971944---
1945+
18981946### `++gth:fl`
18991947
19001948Greater than
@@ -1930,6 +1978,7 @@ An `unit` of `flag`.
19301978```
19311979
19321980---
1981+
19331982### `++drg:fl`
19341983
19351984Float to decimal
@@ -1964,6 +2013,7 @@ A `dn`.
19642013```
19652014
19662015---
2016+
19672017### `++grd:fl`
19682018
19692019Decimal to float
@@ -2003,6 +2053,7 @@ An `fn`.
20032053```
20042054
20052055---
2056+
20062057### `++toi:fl`
20072058
20082059Round to signed integer
@@ -2036,6 +2087,7 @@ A `unit` of @s.
20362087```
20372088
20382089---
2090+
20392091### `++toj:fl`
20402092
20412093Round to integer fn
@@ -2079,16 +2131,17 @@ A `unit` of @s.
20792131```
20802132
20812133---
2082−### `++ff`
2134+
2135+## `++ff`
20832136
20842137IEEE-754 Formatting
20852138
20862139Container core for IEEE-754 formatting operations.
20872140
2088−- `w` is width: The number of bits in the exponent field.
2089−- `p` is precision: The number of bits in the significand field.
2090−- `w` is bias: Added to exponent when storing.
2091−- `r` is rounding mode: Possible modes are nearest (`$n`), up (`$u`),
2141+- `w` is width: The number of bits in the exponent field.
2142+- `p` is precision: The number of bits in the significand field.
2143+- `w` is bias: Added to exponent when storing.
2144+- `r` is rounding mode: Possible modes are nearest (`$n`), up (`$u`),
20922145 down (`$d`), to zero (`$z`), and away from zero (`$a`). Default value is `%a`.
20932146
20942147#### Source
@@ -2108,6 +2161,7 @@ Container core for IEEE-754 formatting operations.
21082161```
21092162
21102163---
2164+
21112165#### Discussion
21122166
21132167`++ff` has no use outside of the functionality provided to other cores: `++rd`,
@@ -2115,6 +2169,7 @@ Container core for IEEE-754 formatting operations.
21152169meant to power those cores.
21162170
21172171---
2172+
21182173### `++sb:ff`
21192174
21202175Sign bit
@@ -2135,6 +2190,7 @@ Produces the sign bit of `++ff`.
21352190```
21362191
21372192---
2193+
21382194### `++me:ff`
21392195
21402196Minimum exponent
@@ -2155,6 +2211,7 @@ Produces the minimum possible exponent of `ff`.
21552211```
21562212
21572213---
2214+
21582215### `++pa:ff`
21592216
21602217Initialize `fl`
@@ -2187,6 +2244,7 @@ configuration of the `ff` core.
21872244internal use in other cores.
21882245
21892246---
2247+
21902248### `++sea:ff`
21912249
21922250`@r` to `fn`
@@ -2225,6 +2283,7 @@ A `unit` of @s.
22252283```
22262284
22272285---
2286+
22282287### `++bit:ff`
22292288
22302289`fn` to `@r`, rounding
@@ -2253,6 +2312,7 @@ A `@r`.
22532312```
22542313
22552314---
2315+
22562316### `++bif:ff`
22572317
22582318`fn` to `@r`, no rounding
@@ -2295,6 +2355,7 @@ A `flag`.
22952355```
22962356
22972357---
2358+
22982359### `++sig:ff`
22992360
23002361Get sign
@@ -2325,6 +2386,7 @@ A `flag`.
23252386```
23262387
23272388---
2389+
23282390### `++exp:ff`
23292391
23302392Get exponent
@@ -2355,6 +2417,7 @@ A signed integer.
23552417```
23562418
23572419---
2420+
23582421### `++add:ff`
23592422
23602423Add
@@ -2387,6 +2450,7 @@ A `@r`, an IEEE float.
23872450```
23882451
23892452---
2453+
23902454### `++sub:ff`
23912455
23922456Sub
@@ -2419,6 +2483,7 @@ A `@r`, an IEEE float.
24192483```
24202484
24212485---
2486+
24222487### `++mul:ff`
24232488
24242489Multiply
@@ -2451,6 +2516,7 @@ A `@r`, an IEEE float.
24512516```
24522517
24532518---
2519+
24542520### `++div:ff`
24552521
24562522Divide
@@ -2483,6 +2549,7 @@ A `@r`, an IEEE float.
24832549```
24842550
24852551---
2552+
24862553### `++fma:ff`
24872554
24882555Fused multiply-add
@@ -2518,6 +2585,7 @@ A `@r`, an IEEE float.
25182585```
25192586
25202587---
2588+
25212589### `++sqt:ff`
25222590
25232591Square root
@@ -2548,6 +2616,7 @@ A `@r`, an IEEE float.
25482616```
25492617
25502618---
2619+
25512620### `++lth:ff`
25522621
25532622Less than
@@ -2582,6 +2651,7 @@ A `flag`.
25822651```
25832652
25842653---
2654+
25852655### `++lte:ff`
25862656
25872657Less than or equal to
@@ -2616,6 +2686,7 @@ A `flag`.
26162686```
26172687
26182688---
2689+
26192690### `++equ:ff`
26202691
26212692Equals
@@ -2650,6 +2721,7 @@ A `flag`.
26502721```
26512722
26522723---
2724+
26532725### `++gte:ff`
26542726
26552727Greater or equal than
@@ -2684,6 +2756,7 @@ A `flag`.
26842756```
26852757
26862758---
2759+
26872760### `++gth:ff`
26882761
26892762Greater than
@@ -2718,6 +2791,7 @@ A `flag`.
27182791```
27192792
27202793---
2794+
27212795### `++sun:ff`
27222796
27232797Unsigned integer to `@r`
@@ -2747,6 +2821,7 @@ A `@r`, an IEEE float.
27472821```
27482822
27492823---
2824+
27502825### `++san:ff`
27512826
27522827Signed integer to `@r`
@@ -2776,6 +2851,7 @@ A `@r`, an IEEE float.
27762851```
27772852
27782853---
2854+
27792855### `++toi:ff`
27802856
27812857Round to integer
@@ -2805,6 +2881,7 @@ A `flag` of `@s`.
28052881```
28062882
28072883---
2884+
28082885### `++drg:ff`
28092886
28102887`@r` to decimal float
@@ -2837,6 +2914,7 @@ A `dn`.
28372914```
28382915
28392916---
2917+
28402918### `++grd:ff`
28412919
28422920Decimal float to `@r`
@@ -2867,7 +2945,8 @@ A `@r`, an IEEE float.
28672945```
28682946
28692947---
2870−### `++rlyd`
2948+
2949+## `++rlyd`
28712950
28722951Prep `@rd` for print
28732952
@@ -2895,7 +2974,8 @@ A `dn`.
28952974```
28962975
28972976---
2898−### `++rlys`
2977+
2978+## `++rlys`
28992979
29002980Prep @rs for print
29012981
@@ -2923,7 +3003,8 @@ A `dn`.
29233003```
29243004
29253005---
2926−### `++rlyh`
3006+
3007+## `++rlyh`
29273008
29283009Prep `@rh` for print
29293010
@@ -2951,7 +3032,8 @@ A `dn`.
29513032```
29523033
29533034---
2954−### `++rlyq`
3035+
3036+## `++rlyq`
29553037
29563038Prep `@rq` for print
29573039
@@ -2979,7 +3061,8 @@ A `dn`.
29793061```
29803062
29813063---
2982−### `++ryld`
3064+
3065+## `++ryld`
29833066
29843067Finish parsing `@rd`
29853068
@@ -3007,7 +3090,8 @@ A a `@rd`, a double-precision float.
30073090```
30083091
30093092---
3010−### `++ryls`
3093+
3094+## `++ryls`
30113095
30123096Finish parsing `@rs`
30133097
@@ -3038,7 +3122,8 @@ A a `@rs`, a single-precision float.
30383122```
30393123
30403124---
3041−### `++rylh`
3125+
3126+## `++rylh`
30423127
30433128Finish parsing `@rh`
30443129
@@ -3072,7 +3157,8 @@ A a `@rh`, a half-precision float.
30723157```
30733158
30743159---
3075−### `++rylq`
3160+
3161+## `++rylq`
30763162
30773163Finish parsing `@rq`
30783164
@@ -3100,7 +3186,8 @@ A a `@rq`, a quad-precision float.
31003186```
31013187
31023188---
3103−### `++rd`
3189+
3190+## `++rd`
31043191
31053192Double-precision fp
31063193
@@ -3119,6 +3206,7 @@ down (`$d`), and round to zero (`$z`).
31193206```
31203207
31213208---
3209+
31223210### `++ma:rd`
31233211
31243212Initialize `ff`
@@ -3143,6 +3231,7 @@ configuration of the `rd` core.
31433231```
31443232
31453233---
3234+
31463235### `++sea:rd`
31473236
31483237`@rd` to `fn`
@@ -3162,6 +3251,7 @@ Converts `a` from a double-precision binary float to `fn`.
31623251```
31633252
31643253---
3254+
31653255### `++bit:rd`
31663256
31673257`fn` to `@rd`
@@ -3191,6 +3281,7 @@ A `@rd`, a double-precision float.
31913281```
31923282
31933283---
3284+
31943285### `++add:rd`
31953286
31963287Add
@@ -3224,6 +3315,7 @@ A `@rd`.
32243315```
32253316
32263317---
3318+
32273319### `++sub:rd`
32283320
32293321Subtract
@@ -3257,6 +3349,7 @@ A `@rd`.
32573349```
32583350
32593351---
3352+
32603353### `++mul:rd`
32613354
32623355Multiply
@@ -3290,6 +3383,7 @@ A `@rd`.
32903383```
32913384
32923385---
3386+
32933387### `++div:rd`
32943388
32953389Divide
@@ -3323,6 +3417,7 @@ A `@rd`.
33233417```
33243418
33253419---
3420+
33263421### `++fma:rd`
33273422
33283423Fused multiply-add
@@ -3344,7 +3439,6 @@ A `@rd`.
33443439
33453440#### Source
33463441
3347−
33483442#### Source
33493443
33503444```hoon
@@ -3362,6 +3456,7 @@ A `@rd`.
33623456```
33633457
33643458---
3459+
33653460### `++sqt:rd`
33663461
33673462Square root
@@ -3392,6 +3487,7 @@ A `@rd`.
33923487```
33933488
33943489---
3490+
33953491### `++lth:rd`
33963492
33973493Less than
@@ -3431,6 +3527,7 @@ A `@rd`.
34313527```
34323528
34333529---
3530+
34343531### `++lte:rd`
34353532
34363533Less than or equal
@@ -3470,6 +3567,7 @@ A `@rd`.
34703567```
34713568
34723569---
3570+
34733571### `++equ:rd`
34743572
34753573Equals
@@ -3509,6 +3607,7 @@ A `@rd`.
35093607```
35103608
35113609---
3610+
35123611### `++gte:rd`
35133612
35143613Greater than or equal
@@ -3548,6 +3647,7 @@ A `@rd`.
35483647```
35493648
35503649---
3650+
35513651### `++gth:rd`
35523652
35533653Greater than
@@ -3587,6 +3687,7 @@ A `@rd`.
35873687```
35883688
35893689---
3690+
35903691### `++sun:rd`
35913692
35923693Unsigned integer to `@rd`
@@ -3615,6 +3716,7 @@ A `@rd`.
36153716```
36163717
36173718---
3719+
36183720### `++san:rd`
36193721
36203722Unsigned integer to `@rd`
@@ -3643,6 +3745,7 @@ A `@rd`.
36433745```
36443746
36453747---
3748+
36463749### `++sig:rd`
36473750
36483751Get sign
@@ -3671,6 +3774,7 @@ A `flag`.
36713774```
36723775
36733776---
3777+
36743778### `++exp:rd`
36753779
36763780Get exponent
@@ -3699,6 +3803,7 @@ A `@s`.
36993803```
37003804
37013805---
3806+
37023807### `++toi:rd`
37033808
37043809Round to integer
@@ -3727,6 +3832,7 @@ A `unit` of `@s`.
37273832```
37283833
37293834---
3835+
37303836### `++drg:rd`
37313837
37323838`@rd` to decimal float
@@ -3756,6 +3862,7 @@ A `dn`.
37563862```
37573863
37583864---
3865+
37593866### `++grd:rd`
37603867
37613868Decimal float to `@rd`
@@ -3785,7 +3892,8 @@ A `@rd`.
37853892```
37863893
37873894---
3788−### `++rs`
3895+
3896+## `++rs`
37893897
37903898Single-precision fp
37913899
@@ -3804,6 +3912,7 @@ down (`$d`), and round to zero (`$z`).
38043912```
38053913
38063914---
3915+
38073916### `++ma:rs`
38083917
38093918Initialize `ff`
@@ -3828,6 +3937,7 @@ configuration of the `rs` core.
38283937```
38293938
38303939---
3940+
38313941### `++sea:rs`
38323942
38333943`@rs` to `fn`
@@ -3857,6 +3967,7 @@ An `fn`.
38573967```
38583968
38593969---
3970+
38603971### `++bit:rs`
38613972
38623973`fn` to `@rs`
@@ -3886,6 +3997,7 @@ A `@rs`, a single-precision float.
38863997```
38873998
38883999---
4000+
38894001### `++add:rs`
38904002
38914003Add
@@ -3919,6 +4031,7 @@ A `@rs`.
39194031```
39204032
39214033---
4034+
39224035### `++sub:rs`
39234036
39244037Subtract
@@ -3942,6 +4055,7 @@ Subtracts `a` from `b`.
39424055```
39434056
39444057---
4058+
39454059### `++mul:rs`
39464060
39474061Multiply
@@ -3975,6 +4089,7 @@ A `@rs`.
39754089```
39764090
39774091---
4092+
39784093### `++div:rs`
39794094
39804095Divide
@@ -4008,6 +4123,7 @@ A `@rs`.
40084123```
40094124
40104125---
4126+
40114127### `++fma:rs`
40124128
40134129Fused multiply-add
@@ -4044,6 +4160,7 @@ A `@rs`.
40444160```
40454161
40464162---
4163+
40474164### `++sqt:rs`
40484165
40494166Square root
@@ -4075,6 +4192,7 @@ A `@rs`.
40754192```
40764193
40774194---
4195+
40784196### `++lth:rs`
40794197
40804198Less than
@@ -4111,6 +4229,7 @@ A `@rs`.
41114229```
41124230
41134231---
4232+
41144233### `++lte:rs`
41154234
41164235Less than or equal
@@ -4147,6 +4266,7 @@ A `@rs`.
41474266```
41484267
41494268---
4269+
41504270### `++equ:rs`
41514271
41524272Equals
@@ -4183,6 +4303,7 @@ A `@rs`.
41834303```
41844304
41854305---
4306+
41864307### `++gte:rs`
41874308
41884309Greater than or equal
@@ -4219,6 +4340,7 @@ A `@rs`.
42194340```
42204341
42214342---
4343+
42224344### `++gth:rs`
42234345
42244346Greater than
@@ -4258,6 +4380,7 @@ A `@rs`.
42584380```
42594381
42604382---
4383+
42614384### `++sun:rs`
42624385
42634386Unsigned integer to `@rs`
@@ -4286,6 +4409,7 @@ A `@rs`.
42864409```
42874410
42884411---
4412+
42894413### `++san:rs`
42904414
42914415Signed integer to `@rs`'
@@ -4344,6 +4468,7 @@ A `flag`.
43444468```
43454469
43464470---
4471+
43474472### `++exp:rs`
43484473
43494474Get exponent
@@ -4372,6 +4497,7 @@ A signed integer.
43724497```
43734498
43744499---
4500+
43754501### `++toi:rs`
43764502
43774503Round to integer
@@ -4400,6 +4526,7 @@ A `unit` of `@s`.
44004526```
44014527
44024528---
4529+
44034530### `++drg:rs`
44044531
44054532`@rs` to decimal float
@@ -4429,6 +4556,7 @@ A `dn`.
44294556```
44304557
44314558---
4559+
44324560### `++grd:rs`
44334561
44344562Decimal float to `@rs`
@@ -4458,7 +4586,8 @@ A `@rs`.
44584586```
44594587
44604588---
4461−### `++rq`
4589+
4590+## `++rq`
44624591
44634592Quadruple-precision fp
44644593
@@ -4491,6 +4620,7 @@ configuration of the `rq` core.
44914620```
44924621
44934622---
4623+
44944624### `++sea:rq`
44954625
44964626`@rq` to `fn`
@@ -4520,6 +4650,7 @@ An `fn`.
45204650```
45214651
45224652---
4653+
45234654### `++bit:rq`
45244655
45254656`fn` to `@rq`
@@ -4549,6 +4680,7 @@ A `@rq`, a quad-precision float.
45494680```
45504681
45514682---
4683+
45524684### `++add:rq`
45534685
45544686Add
@@ -4582,6 +4714,7 @@ A `@rq`.
45824714```
45834715
45844716---
4717+
45854718### `++sub:rq`
45864719
45874720Subtract
@@ -4618,6 +4751,7 @@ A `@rq`.
46184751```
46194752
46204753---
4754+
46214755### `++mul:rq`
46224756
46234757Multiply
@@ -4651,6 +4785,7 @@ A `@rq`.
46514785```
46524786
46534787---
4788+
46544789### `++div:rq`
46554790
46564791Divide
@@ -4684,6 +4819,7 @@ A `@rq`.
46844819```
46854820
46864821---
4822+
46874823### `++fma:rq`
46884824
46894825Fused multiply-add
@@ -4720,6 +4856,7 @@ A `@rq`.
47204856```
47214857
47224858---
4859+
47234860### `++sqt:rq`
47244861
47254862Square root
@@ -4751,6 +4888,7 @@ A `@rq`.
47514888```
47524889
47534890---
4891+
47544892### `++lth:rq`
47554893
47564894Less than
@@ -4776,7 +4914,6 @@ A `@rq`.
47764914 (lth:ma a b)
47774915```
47784916
4779−
47804917#### Examples
47814918
47824919```
@@ -4788,6 +4925,7 @@ A `@rq`.
47884925```
47894926
47904927---
4928+
47914929### `++lte:rq`
47924930
47934931Less than or equal
@@ -4827,6 +4965,7 @@ A `@rq`.
48274965```
48284966
48294967---
4968+
48304969### `++equ:rq`
48314970
48324971Equals
@@ -4863,6 +5002,7 @@ A `@rq`.
48635002```
48645003
48655004---
5005+
48665006### `++gte:rq`
48675007
48685008Greater than or equal
@@ -4902,6 +5042,7 @@ A `@rq`.
49025042```
49035043
49045044---
5045+
49055046### `++gth:rq`
49065047
49075048Tests whether `a` is greater than `b`.
@@ -4939,6 +5080,7 @@ A `@rq`.
49395080```
49405081
49415082---
5083+
49425084### `++sun:rq`
49435085
49445086Unsigned integer to `@rq`
@@ -4967,6 +5109,7 @@ A `@rq`, a quad-precision float.
49675109```
49685110
49695111---
5112+
49705113### `++san:rq`
49715114
49725115Signed integer to `rq`
@@ -4995,6 +5138,7 @@ A `@rq`, a quad-precision float.
49955138```
49965139
49975140---
5141+
49985142### `++sig:rq`
49995143
50005144Get sign
@@ -5023,6 +5167,7 @@ A `flag`.
50235167```
50245168
50255169---
5170+
50265171### `++exp:rq`
50275172
50285173Get exponent
@@ -5051,6 +5196,7 @@ A `@s`, a signed integer.
50515196```
50525197
50535198---
5199+
50545200### `++toi:rq`
50555201
50565202Round to integer
@@ -5082,6 +5228,7 @@ A `unit` of `@s`.
50825228```
50835229
50845230---
5231+
50855232### `++drg:rq`
50865233
50875234`@rq` to decimal float
@@ -5114,6 +5261,7 @@ A `dn`.
51145261```
51155262
51165263---
5264+
51175265### `++grd:rq`
51185266
51195267Decimal float to `@rq`
@@ -5145,7 +5293,8 @@ A `@rq`, a quad-precision float.
51455293```
51465294
51475295---
5148−### `++rh`
5296+
5297+## `++rh`
51495298
51505299Half-precision fp
51515300
@@ -5164,6 +5313,7 @@ down (`$d`), and round to zero (`$z`).
51645313```
51655314
51665315---
5316+
51675317### `++ma:rh`
51685318
51695319Initialize `ff`
@@ -5179,6 +5329,7 @@ configuration of the `rh` core.
51795329```
51805330
51815331---
5332+
51825333### `++sea:rh`
51835334
51845335`@rh` to `fn`
@@ -5208,6 +5359,7 @@ An `fn`.
52085359```
52095360
52105361---
5362+
52115363### `++bit:rh`
52125364
52135365`fn` to `@rh`
@@ -5237,6 +5389,7 @@ A `@rh`, a half-precision float.
52375389```
52385390
52395391---
5392+
52405393### `++add:rh`
52415394
52425395Produces the sum of `a` plus `b`.
@@ -5268,6 +5421,7 @@ A `@rh`.
52685421```
52695422
52705423---
5424+
52715425### `++sub:rh`
52725426
52735427Subtract
@@ -5304,6 +5458,7 @@ A `@rh`.
53045458```
53055459
53065460---
5461+
53075462### `++mul:rh`
53085463
53095464Multiply
@@ -5337,6 +5492,7 @@ A `@rh`.
53375492```
53385493
53395494---
5495+
53405496### `++div:rh`
53415497
53425498Divide
@@ -5370,6 +5526,7 @@ A `@rh`.
53705526```
53715527
53725528---
5529+
53735530### `++fma:rh`
53745531
53755532Fused multiply-add
@@ -5406,6 +5563,7 @@ A `@rh`.
54065563```
54075564
54085565---
5566+
54095567### `++sqt:rh`
54105568
54115569Square root
@@ -5437,6 +5595,7 @@ A `@rh`.
54375595```
54385596
54395597---
5598+
54405599### `++lth:rh`
54415600
54425601Less than
@@ -5473,6 +5632,7 @@ A `@rh`.
54735632```
54745633
54755634---
5635+
54765636### `++lte:rh`
54775637
54785638Less than or equal
@@ -5512,6 +5672,7 @@ A `@rh`.
55125672```
55135673
55145674---
5675+
55155676### `++equ:rh`
55165677
55175678Equals
@@ -5548,6 +5709,7 @@ A `@rh`.
55485709```
55495710
55505711---
5712+
55515713### `++gte:rh`
55525714
55535715Greater than or equal
@@ -5587,6 +5749,7 @@ A `@rh`.
55875749```
55885750
55895751---
5752+
55905753### `++gth:rh`
55915754
55925755Tests whether `a` is greater than `b`.
@@ -5653,6 +5816,7 @@ A `@rs`, a single-precision float.
56535816```
56545817
56555818---
5819+
56565820### `++fos:rh`
56575821
56585822`@rs` to `@rh`
@@ -5681,6 +5845,7 @@ A `@rh`, a half-precision float.
56815845```
56825846
56835847---
5848+
56845849### `++sun:rh`
56855850
56865851Unsigned integer to `@rh`
@@ -5709,6 +5874,7 @@ A `@rh`, a half-precision float.
57095874```
57105875
57115876---
5877+
57125878### `++san:rh`
57135879
57145880Signed integer to `@rh`
@@ -5737,6 +5903,7 @@ A `@rh`, a half-precision float.
57375903```
57385904
57395905---
5906+
57405907### `++sig:rh`
57415908
57425909Get sign
@@ -5765,6 +5932,7 @@ A `flag`.
57655932```
57665933
57675934---
5935+
57685936### `++exp:rh`
57695937
57705938Get exponent
@@ -5793,6 +5961,7 @@ A `@s`, a signed integer.
57935961```
57945962
57955963---
5964+
57965965### `++toi:rh`
57975966
57985967Round to integer
@@ -5824,6 +5993,7 @@ A `unit` of `@s`.
58245993```
58255994
58265995---
5996+
58275997### `++drg:rh`
58285998
58295999`@rh` to decimal float
@@ -5856,6 +6026,7 @@ A `dn`.
58566026```
58576027
58586028---
6029+
58596030### `++grd:rh`
58606031
58616032Decimal float to `@rh`
@@ -5886,4 +6057,4 @@ A `@rh`, a a half-precision float.
58866057 .~~-3.43e2
58876058```
58886059
5889−---
6060+---
content/docs/hoon/reference/stdlib/3c.md+26−10
@@ -4,7 +4,7 @@ weight = 23
44template = "doc.html"
55+++
66
7−### `++yall`
7+## `++yall`
88
99Time since beginning of time
1010
@@ -60,9 +60,9 @@ A cell of unsigned decimals.
6060 [y=0 m=1 d=1]
6161```
6262
63−
6463---
65−### `++yawn`
64+
65+## `++yawn`
6666
6767Days since beginning of time
6868
@@ -124,7 +124,8 @@ An unsigned decimal.
124124```
125125
126126---
127−### `++year`
127+
128+## `++year`
128129
129130Date to @d
130131
@@ -161,7 +162,8 @@ A `@d`.
161162```
162163
163164---
164−### `++yell`
165+
166+## `++yell`
165167
166168Tarp from atomic date
167169
@@ -212,7 +214,8 @@ A `tarp`.
212214```
213215
214216---
215−### `++yelp`
217+
218+## `++yelp`
216219
217220Leap-week?
218221
@@ -251,7 +254,8 @@ A flag.
251254```
252255
253256---
254−### `++yore`
257+
258+## `++yore`
255259
256260Date from atomic date
257261
@@ -287,7 +291,8 @@ A `date`.
287291```
288292
289293---
290−### `++yule`
294+
295+## `++yule`
291296
292297Daily time to time atom
293298
@@ -349,7 +354,8 @@ A time atom, `@d`.
349354```
350355
351356---
352−### `++yo`
357+
358+## `++yo`
353359
354360Time constants core
355361
@@ -362,6 +368,7 @@ Core whose arms contain constants for interacting with earth time.
362368```
363369
364370---
371+
365372### `++cet:yo`
366373
367374Days in a century
@@ -394,6 +401,7 @@ An atom.
394401```
395402
396403---
404+
397405### `++day:yo`
398406
399407Seconds in day
@@ -421,6 +429,7 @@ An atom.
421429```
422430
423431---
432+
424433### `++era:yo`
425434
426435Leap-year period
@@ -458,6 +467,7 @@ A year is a leap-year if:
458467- **or** if it's divisible by 400.
459468
460469---
470+
461471### `++hor:yo`
462472
463473Seconds in hour
@@ -486,6 +496,7 @@ An atom.
486496```
487497
488498---
499+
489500### `++jes:yo`
490501
491502Maximum 64-bit timestamp
@@ -515,6 +526,7 @@ An atom.
515526The date is December 4, 292,277,026,596.
516527
517528---
529+
518530### `++mit:yo`
519531
520532Seconds in minute
@@ -539,6 +551,7 @@ An atom.
539551```
540552
541553---
554+
542555### `++moh:yo`
543556
544557Days in month
@@ -568,6 +581,7 @@ A `list` of `@ud`
568581```
569582
570583---
584+
571585### `++moy:yo`
572586
573587Days in months of leap-year
@@ -597,6 +611,7 @@ A `list` of `@ud`.
597611```
598612
599613---
614+
600615### `++qad:yo`
601616
602617Seconds in 4 years
@@ -622,6 +637,7 @@ An atom.
622637```
623638
624639---
640+
625641### `++yer:yo`
626642
627643Seconds in year
@@ -646,4 +662,4 @@ An atom.
646662 31.536.000
647663```
648664
649−---
665+---
content/docs/hoon/reference/stdlib/3d.md+26−12
@@ -4,7 +4,7 @@ weight = 24
44template = "doc.html"
55+++
66
7−### `++shad`
7+## `++shad`
88
99Double SHA-256
1010
@@ -34,7 +34,8 @@ An atom.
3434```
3535
3636---
37−### `++shaf`
37+
38+## `++shaf`
3839
3940Half SHA-256
4041
@@ -69,7 +70,8 @@ first and last halves of the 256-bit salted hash `shas`.
6970```
7071
7172---
72−### `++shal`
73+
74+## `++shal`
7375
7476SHA-512 with length
7577
@@ -225,7 +227,8 @@ as a way of saying that the atom `ruz` is shorter than its representative
225227byte-string.
226228
227229---
228−### `++sham`
230+
231+## `++sham`
229232
230233128-bit noun hash
231234
@@ -263,7 +266,8 @@ An atom.
263266```
264267
265268---
266−### `++shan`
269+
270+## `++shan`
267271
268272SHA-1
269273
@@ -359,7 +363,8 @@ An atom.
359363SHA-1 is a deprecated function; it is not considered secure.
360364
361365---
362−### `++shas`
366+
367+## `++shas`
363368
364369Salted hash
365370
@@ -391,7 +396,8 @@ of that logical operation is then itself hashed with SHA-256.
391396```
392397
393398---
394−### `++shaw`
399+
400+## `++shaw`
395401
396402Hash to nbits
397403
@@ -429,7 +435,8 @@ An atom.
429435```
430436
431437---
432−### `++shax`
438+
439+## `++shax`
433440
434441SHA-256
435442
@@ -454,7 +461,8 @@ Produces an atom by hashing an atom `ruz` with SHA-256.
454461```
455462
456463---
457−### `++shay`
464+
465+## `++shay`
458466
459467SHA-256 with length
460468
@@ -578,7 +586,8 @@ as a way of saying that the atom `ruz` is shorter than its representative
578586byte-string.
579587
580588---
581−### `++shaz`
589+
590+## `++shaz`
582591
583592SHA-512
584593
@@ -611,7 +620,8 @@ An atom.
611620```
612621
613622---
614−### `++og`
623+
624+## `++og`
615625
616626Container arm for SHA-256-powered random-number generation. Its sample `a` is an
617627atom that is used as a seed for the hash.
@@ -646,6 +656,7 @@ result every time it is run. Use `eny`, 256 bits of entropy, for a
646656non-deterministic product.
647657
648658---
659+
649660### `++rad:og`
650661
651662Random in range
@@ -687,6 +698,7 @@ An atom.
687698```
688699
689700---
701+
690702### `++rads:og`
691703
692704Random continuation
@@ -732,6 +744,7 @@ generate separate random values from the same seed. Notice how we jump from
732744one `rads` function call to another in the above example.
733745
734746---
747+
735748### `++raw:og`
736749
737750Random bits
@@ -781,12 +794,13 @@ An atom.
781794```
782795
783796---
797+
784798### `++raws:og`
785799
786800Random bits continuation
787801
788802Produces a cell. The head of the cell is an atom with a bitwidth `b` that is
789−composed of random bits. The tail is a new core produced from hashing the
803+composed of random bits. The tail is a new core produced from hashing the
790804parent core with `(raw b)`.
791805
792806#### Source
content/docs/hoon/reference/stdlib/3f.md+20−4
@@ -3,7 +3,8 @@ title = "3f: Scrambling"
33weight = 26
44template = "doc.html"
55+++
6−### `++un`
6+
7+## `++un`
78
89Reversible scrambling
910
@@ -18,6 +19,7 @@ Used in the `@p` phonetic base.
1819```
1920
2021---
22+
2123### `++wren:un`
2224
2325Conceal structure
@@ -70,6 +72,7 @@ An atom.
7072```
7173
7274---
75+
7376### `++wred:un`
7477
7578Restore structure
@@ -122,6 +125,7 @@ An atom.
122125```
123126
124127---
128+
125129### `++xafo:un`
126130
127131Add modulo 255
@@ -159,6 +163,7 @@ An atom.
159163```
160164
161165---
166+
162167### `++xaro:un`
163168
164169Subtract modulo 255
@@ -196,6 +201,7 @@ An atom.
196201```
197202
198203---
204+
199205### `++zaft:un`
200206
201207Look up in 255 sub box
@@ -248,6 +254,7 @@ An atom.
248254```
249255
250256---
257+
251258### `++zart:un`
252259
253260Reverse look up in 255 sub box
@@ -298,6 +305,7 @@ An atom.
298305```
299306
300307---
308+
301309### `++zyft:un`
302310
303311Lookup byte in 256 sub box
@@ -351,6 +359,7 @@ An atom.
351359```
352360
353361---
362+
354363### `++zyrt:un`
355364
356365Reverse lookup byte in 256 sub box
@@ -403,7 +412,8 @@ An atom.
403412```
404413
405414---
406−### `++ob`
415+
416+## `++ob`
407417
408418Reversible scrambling, v2
409419
@@ -416,6 +426,7 @@ A core for performing reversible scrambling operations for the `@p` phonetic
416426base.
417427
418428---
429+
419430### `++feen:ob`
420431
421432Conceal structure, v2
@@ -465,6 +476,7 @@ An atom.
465476```
466477
467478---
479+
468480### `++fend:ob`
469481
470482Restore structure, v2
@@ -518,6 +530,7 @@ An atom.
518530```
519531
520532---
533+
521534### `++fice:ob`
522535
523536Feistel-like cipher
@@ -561,6 +574,7 @@ An atom.
561574```
562575
563576---
577+
564578### `++teil:ob`
565579
566580Reverse Feistel-like cipher
@@ -593,7 +607,6 @@ An atom.
593607 ::
594608```
595609
596−
597610#### Examples
598611
599612```
@@ -605,6 +618,7 @@ An atom.
605618```
606619
607620---
621+
608622### `++rynd:ob`
609623
610624Reverse Feistel-like cipher
@@ -647,6 +661,7 @@ A cell of two atoms.
647661```
648662
649663---
664+
650665### `++rund:ob`
651666
652667Reverse single Feistel-like
@@ -689,6 +704,7 @@ A cell of two atoms.
689704```
690705
691706---
707+
692708### `++raku:ob`
693709
694710Key list
@@ -719,4 +735,4 @@ A list of atoms of aura `@ux` (hexadecimal).
719735 ~[0xb76d.5eed 0xee28.1300 0x85bc.ae01 0x4b38.7af7]
720736```
721737
722−---
738+---
content/docs/hoon/reference/stdlib/3g.md+12−12
@@ -4,7 +4,7 @@ weight = 27
44template = "doc.html"
55+++
66
7−### `++coin`
7+## `++coin`
88
99Noun-literal syntax cases
1010
@@ -48,7 +48,7 @@ and printed using `++so` and `++co` cores.
4848
4949---
5050
51−### `++dime`
51+## `++dime`
5252
5353Aura-atom pair
5454
@@ -72,7 +72,7 @@ to parse atoms of specific auras.
7272
7373---
7474
75−### `++edge`
75+## `++edge`
7676
7777Parsing location metadata. Parsing location input `p` and optional result `p.q` and parsing continuation `q.q`.
7878
@@ -98,7 +98,7 @@ See also: [Section 3g](/docs/hoon/reference/stdlib/3g#rule), `++rule`
9898
9999---
100100
101−### `++hair`
101+## `++hair`
102102
103103Parsing line and column
104104
@@ -128,7 +128,7 @@ A pair of two `@ud` used in parsing indicating line and column number.
128128
129129---
130130
131−### `++like`
131+## `++like`
132132
133133Generic edge
134134
@@ -163,7 +163,7 @@ Generates an `++edge` with a parsed result set to a specific type.
163163
164164---
165165
166−### `++nail`
166+## `++nail`
167167
168168Location, remainder of parsed text
169169
@@ -184,7 +184,7 @@ Indicates parsing position `p`, and remaining text to be parsed `q`.
184184
185185---
186186
187−### `++pint`
187+## `++pint`
188188
189189Parsing range
190190
@@ -209,7 +209,7 @@ stack traces.
209209
210210---
211211
212−### `++rule`
212+## `++rule`
213213
214214Parsing rule
215215
@@ -230,7 +230,7 @@ An empty parsing rule, but used to check that parsing rules match this with `_`.
230230
231231---
232232
233−### `++spot`
233+## `++spot`
234234
235235Stack trace line
236236
@@ -252,7 +252,7 @@ The stack trace that is printed after crashing.
252252
253253---
254254
255−### `++tone`
255+## `++tone`
256256
257257Nock result, error report
258258
@@ -300,7 +300,7 @@ or failure with an error report (`%2`).
300300
301301---
302302
303−### `++toon`
303+## `++toon`
304304
305305Nock result, stack trace
306306
@@ -328,7 +328,7 @@ or failure with a stack trace (`%2`).
328328
329329---
330330
331−### `++wonk`
331+## `++wonk`
332332
333333Product from edge
334334
content/docs/hoon/reference/stdlib/4a.md+5−1
@@ -4,7 +4,7 @@ weight = 28
44template = "doc.html"
55+++
66
7−### `++po`
7+## `++po`
88
99Phonetic base
1010
@@ -54,6 +54,7 @@ contained arms.
5454```
5555
5656---
57+
5758### `++ind:po`
5859
5960Parse suffix
@@ -92,6 +93,7 @@ A `unit`.
9293```
9394
9495---
96+
9597### `++ins:po`
9698
9799Parse prefix
@@ -133,6 +135,7 @@ A `unit` of an atom.
133135```
134136
135137---
138+
136139### `++tod:po`
137140
138141Fetch suffix
@@ -177,6 +180,7 @@ An atom.
177180```
178181
179182---
183+
180184### `++tos:po`
181185
182186Fetch prefix
content/docs/hoon/reference/stdlib/4b.md+36−37
@@ -4,7 +4,7 @@ weight = 29
44template = "doc.html"
55+++
66
7−### `++at`
7+## `++at`
88
99```hoon
1010 ++ at
@@ -13,8 +13,6 @@ template = "doc.html"
1313
1414XX document
1515
16−
17−
1816### `++r:at`
1917
2018```hoon
@@ -34,7 +32,6 @@ XX document
3432 rux
3533```
3634
37−
3835XX document
3936
4037### `++rf:at`
@@ -43,7 +40,6 @@ XX document
4340 ++ rf `tape`[?-(a $& '&', $| '|', * !!) ~]
4441```
4542
46−
4743XX document
4844
4945### `++rn:at`
@@ -179,10 +175,9 @@ XX document
179175
180176---
181177
182−
183178---
184179
185−### `++cass`
180+## `++cass`
186181
187182To lowercase
188183
@@ -220,7 +215,8 @@ A `++tape`.
220215```
221216
222217---
223−### `++crip`
218+
219+## `++crip`
224220
225221Tape to cord
226222
@@ -254,7 +250,8 @@ A `++cord`.
254250```
255251
256252---
257−### `++cuss`
253+
254+## `++cuss`
258255
259256To uppercase
260257
@@ -292,7 +289,8 @@ A `++tape`.
292289```
293290
294291---
295−### `++mesc`
292+
293+## `++mesc`
296294
297295Escape special chars
298296
@@ -332,9 +330,9 @@ A `++tape`.
332330 "as\0x27/sa\0xc3/\0x9f/"
333331```
334332
335−
336333---
337−### `++runt`
334+
335+## `++runt`
338336
339337Prepend `n` times
340338
@@ -371,9 +369,9 @@ A `++tape`.
371369 "aaaaaaaaaa"
372370```
373371
374−
375372---
376−### `++sand`
373+
374+## `++sand`
377375
378376Soft-cast by aura
379377
@@ -408,9 +406,9 @@ A `(unit @)`.
408406 ~
409407```
410408
411−
412409---
413−### `++sane`
410+
411+## `++sane`
414412
415413Check aura validity
416414
@@ -477,9 +475,9 @@ A boolean.
477475 %.n
478476```
479477
480−
481478---
482−### `++teff`
479+
480+## `++teff`
483481
484482UTF8 Length
485483
@@ -514,9 +512,9 @@ An atom.
514512 2
515513```
516514
517−
518515---
519−### `++trim`
516+
517+## `++trim`
520518
521519Tape split
522520
@@ -555,9 +553,9 @@ A cell of `++tape`s, `p` and `q`.
555553 [p="zam" q=""]
556554```
557555
558−
559556---
560−### `++trip`
557+
558+## `++trip`
561559
562560Cord to tape
563561
@@ -594,9 +592,9 @@ A `++tape`.
594592 "abc"
595593```
596594
597−
598595---
599−### `++tuba`
596+
597+## `++tuba`
600598
601599UTF8 to UTF32 tape
602600
@@ -629,9 +627,9 @@ A `++list` of codepoints `@c`.
629627 ~[~-c ~-h ~-a ~-r ~-s]
630628```
631629
632−
633630---
634−### `++tufa`
631+
632+## `++tufa`
635633
636634UTF32 to UTF8 tape
637635
@@ -665,9 +663,9 @@ A `++tape`.
665663 "ab±c"
666664```
667665
668−
669666---
670−### `++tuft`
667+
668+## `++tuft`
671669
672670UTF32 to UTF8 text
673671
@@ -724,9 +722,9 @@ A `++cord`.
724722 '¶'
725723```
726724
727−
728725---
729−### `++turf`
726+
727+## `++turf`
730728
731729UTF8 to UTF32 cord
732730
@@ -781,9 +779,9 @@ A `@c`, UTF-32 codepoint.
781779 0x442.0000.0443.0000.0442.0000.0020.0000.044f
782780```
783781
784−
785782---
786−### `++wack`
783+
784+## `++wack`
787785
788786Coin format encode
789787
@@ -831,7 +829,8 @@ A `++span` (`@ta`).
831829```
832830
833831---
834−### `++wick`
832+
833+## `++wick`
835834
836835Coin format decode
837836
@@ -877,9 +876,9 @@ A `++span` `@ta`.
877876 '~20_sam~'
878877```
879878
880−
881879---
882−### `++woad`
880+
881+## `++woad`
883882
884883Unescape cord
885884
@@ -938,9 +937,9 @@ A `++cord`.
938937 '¶20 as'
939938```
940939
941−
942940---
943−### `++wood`
941+
942+## `++wood`
944943
945944Escape cord
946945
content/docs/hoon/reference/stdlib/4c.md+12−16
@@ -4,7 +4,7 @@ weight = 30
44template = "doc.html"
55+++
66
7−### `++re`
7+## `++re`
88
99Pretty-printing engine
1010
@@ -29,6 +29,7 @@ Pretty-printing engine that accepts a `++tank` sample and contains arms that per
2929```
3030
3131---
32+
3233### `++ram:re`
3334
3435Flatten to tape
@@ -71,7 +72,9 @@ A `++tape`.
7172 > ~(ram re rose+["." "(" ")"]^~[leaf+"bar" leaf+"baz" leaf+"bam"])
7273 "(bar.baz.bam)"
7374```
75+
7476---
77+
7578### `++win:re`
7679
7780Render at indent
@@ -136,6 +139,7 @@ A `++wall` (`++list` of `++tapes`).
136139```
137140
138141---
142+
139143### `++din:re`
140144
141145XX document
@@ -148,7 +152,6 @@ XX document
148152
149153 ++ din (mod (add 2 tab) (mul 2 (div edg 3)))
150154
151−
152155---
153156
154157### `++fit:re`
@@ -163,14 +166,10 @@ Determine whether `tac` fits on one line. Internal to `++win`
163166
164167#### Source
165168
166−++ fit (lte (lent ram) (sub edg tab))
167−
169+++ fit (lte (lent ram) (sub edg tab))
168170
169171#### Examples
170172
171−
172−
173−
174173---
175174
176175### `++rig:re`
@@ -216,6 +215,7 @@ A `++wall` (list of `++tape`s).
216215#### Examples
217216
218217---
218+
219219### `++wig:re`
220220
221221`++win` render tape
@@ -248,10 +248,9 @@ Render `++tape`. Internal to `++win`.
248248 --
249249```
250250
251−
252−
253251---
254−### `++show`
252+
253+## `++show`
255254
256255```hoon
257256 ++ show :: XX deprecated, use span
@@ -314,7 +313,7 @@ Render `++tape`. Internal to `++win`.
314313
315314XX document
316315
317−### `++shep`
316+## `++shep`
318317
319318```hoon
320319 ++ shep
@@ -338,7 +337,7 @@ XX document
338337
339338XX document
340339
341−### `++shop`
340+## `++shop`
342341
343342```hoon
344343 ++ shop
@@ -356,9 +355,6 @@ XX document
356355 ::
357356```
358357
359−
360358XX document
361359
362−
363−
364−---
360+---
content/docs/hoon/reference/stdlib/4d.md+4−4
@@ -4,7 +4,7 @@ weight = 31
44template = "doc.html"
55+++
66
7−### `++last`
7+## `++last`
88
99Further trace
1010
@@ -48,7 +48,8 @@ A `hair`.
4848```
4949
5050---
51−### `++lust`
51+
52+## `++lust`
5253
5354Detect newline
5455
@@ -73,7 +74,6 @@ A hair.
7374 ?:(=(`@`10 weq) [+(p.naz) 1] [p.naz +(q.naz)])
7475```
7576
76−
7777#### Examples
7878
7979```
@@ -97,4 +97,4 @@ A hair.
9797 [2 6]
9898```
9999
100−---
100+---
content/docs/hoon/reference/stdlib/4e.md+20−33
@@ -4,7 +4,7 @@ weight = 32
44template = "doc.html"
55+++
66
7−### `++bend`
7+## `++bend`
88
99Conditional composer
1010
@@ -70,9 +70,9 @@ A `++rule`.
7070 [~ %sep]
7171```
7272
73−
7473---
75−### `++comp`
74+
75+## `++comp`
7676
7777Arbitrary compose
7878
@@ -123,7 +123,8 @@ A `++rule`.
123123```
124124
125125---
126−### `++fail`
126+
127+## `++fail`
127128
128129Never parse
129130
@@ -154,9 +155,9 @@ An `++edge`.
154155 [p=[p=1.337 q=70] q=~]
155156```
156157
157−
158158---
159−### `++glue`
159+
160+## `++glue`
160161
161162Skip delimiter
162163
@@ -174,8 +175,6 @@ result.
174175
175176#### Produces
176177
177−
178−
179178#### Source
180179
181180```hoon
@@ -205,7 +204,8 @@ result.
205204```
206205
207206---
208−### `++less`
207+
208+## `++less`
209209
210210Parse unless
211211
@@ -220,8 +220,6 @@ connect `vex` with the following `++rule`.
220220
221221#### Produces
222222
223−
224−
225223#### Source
226224
227225```hoon
@@ -249,9 +247,9 @@ connect `vex` with the following `++rule`.
249247 ! exit
250248```
251249
252−
253250---
254−### `++pfix`
251+
252+## `++pfix`
255253
256254Discard first rule
257255
@@ -264,8 +262,6 @@ ignoring the result of the first and producing the result of the second.
264262
265263#### Produces
266264
267−
268−
269265#### Source
270266
271267```hoon
@@ -284,9 +280,9 @@ ignoring the result of the first and producing the result of the second.
284280 q=10
285281```
286282
287−
288283---
289−### `++plug`
284+
285+## `++plug`
290286
291287Parse to tuple
292288
@@ -302,8 +298,6 @@ more detailed explanation.
302298
303299#### Produces
304300
305−
306−
307301#### Source
308302
309303```hoon
@@ -333,9 +327,9 @@ more detailed explanation.
333327 [%moke '/' ~ %da ~2014.1.1]
334328```
335329
336−
337330---
338−### `++pose`
331+
332+## `++pose`
339333
340334Parse options
341335
@@ -350,8 +344,6 @@ following rule `sab`. See also: the monad applicator ;\~
350344
351345#### Produces
352346
353−
354−
355347#### Source
356348
357349```hoon
@@ -382,9 +374,9 @@ following rule `sab`. See also: the monad applicator ;\~
382374 ! exit
383375```
384376
385−
386377---
387−### `++sfix`
378+
379+## `++sfix`
388380
389381Discard second rule
390382
@@ -399,8 +391,6 @@ result of the first and discarding the result of the second.
399391
400392#### Produces
401393
402−
403−
404394#### Source
405395
406396```hoon
@@ -419,9 +409,9 @@ result of the first and discarding the result of the second.
419409 q=10
420410```
421411
422−
423412---
424−### `++simu`
413+
414+## `++simu`
425415
426416First and second
427417
@@ -436,8 +426,6 @@ connect `vex` with the following `++rule`.
436426
437427#### Produces
438428
439−
440−
441429#### Source
442430
443431```hoon
@@ -467,5 +455,4 @@ connect `vex` with the following `++rule`.
467455 ! exit
468456```
469457
470−
471−---
458+---
content/docs/hoon/reference/stdlib/4f.md+49−53
@@ -4,7 +4,7 @@ weight = 33
44template = "doc.html"
55+++
66
7−### `++bass`
7+## `++bass`
88
99Parser modifier: LSB
1010ordered `++list` as atom of a `++base`.
@@ -44,10 +44,9 @@ A `++rule`.
4444 0b101.0011
4545```
4646
47−
4847---
4948
50−### `++boss`
49+## `++boss`
5150
5251Parser modifier: LSB
5352
@@ -91,7 +90,8 @@ A `++rule`.
9190```
9291
9392---
94−### `++cold`
93+
94+## `++cold`
9595
9696Replace with constant
9797
@@ -132,9 +132,9 @@ An `++edge`.
132132 [p=[p=1 q=1] q=~]
133133```
134134
135−
136135---
137−### `++cook`
136+
137+## `++cook`
138138
139139Apply gate
140140
@@ -182,9 +182,9 @@ An `++rule`.
182182 [p=[p=1 q=2] q=[~ u=[p='b' q=[p=[p=1 q=2] q="bc"]]]]
183183```
184184
185−
186185---
187−### `++easy`
186+
187+## `++easy`
188188
189189Always parse
190190
@@ -225,9 +225,9 @@ A `++rule`.
225225 [p=[p=1 q=1] q=[~ [p='a' q=[p=[p=1 q=1] q="bc"]]]]
226226```
227227
228−
229228---
230−### `++full`
229+
230+## `++full`
231231
232232Parse to end
233233
@@ -266,9 +266,9 @@ A `++rule`.
266266 [p=[p=1 q=3] q=[~ u=[p=[~~a ~~b] q=[p=[p=1 q=3] q=""]]]]
267267```
268268
269−
270269---
271−### `++funk`
270+
271+## `++funk`
272272
273273Add to tape
274274
@@ -303,9 +303,9 @@ A `++rule`.
303303 [p=[p=1 q=4] q=~]
304304```
305305
306−
307306---
308−### `++here`
307+
308+## `++here`
309309
310310Place-based apply
311311
@@ -351,9 +351,9 @@ A `++rule`.
351351 ~[[[[p=1 q=1] p=1 q=2] ~~a] [[[p=1 q=2] p=1 q=3] ~~b] [[[p=1 q=3] p=1 q=4] ~~c]]
352352```
353353
354−
355354---
356−### `++ifix`
355+
356+## `++ifix`
357357
358358Infix
359359
@@ -392,9 +392,9 @@ A `++rule`.
392392 "my"
393393```
394394
395−
396395---
397−### `++jest`
396+
397+## `++jest`
398398
399399Match a cord
400400
@@ -445,9 +445,9 @@ An `++edge`.
445445 [p=[p=1 q=9] q=[~ [p='john doe' q=[p=[p=1 q=9] q=""]]]]
446446```
447447
448−
449448---
450−### `++just`
449+
450+## `++just`
451451
452452Match a char
453453
@@ -496,9 +496,9 @@ A `++rule`.
496496 ~~~25.
497497```
498498
499−
500499---
501−### `++knee`
500+
501+## `++knee`
502502
503503Recursive parsers
504504
@@ -552,9 +552,9 @@ A `++rule`.
552552 [~~a "bcd"]
553553```
554554
555−
556555---
557−### `++mask`
556+
557+## `++mask`
558558
559559Match char
560560
@@ -603,7 +603,8 @@ A `++rule`.
603603```
604604
605605---
606−### `++more`
606+
607+## `++more`
607608
608609Parse list with delimiter
609610
@@ -641,9 +642,9 @@ A `++rule`.
641642 [q=40 ~[q=20 q=60 q=1 q=5]]
642643```
643644
644−
645645---
646−### `++most`
646+
647+## `++most`
647648
648649Parse list of at least one match
649650
@@ -682,9 +683,9 @@ A `++rule`.
682683 ! exit
683684```
684685
685−
686686---
687−### `++next`
687+
688+## `++next`
688689
689690Consume char
690691
@@ -721,10 +722,9 @@ An `++edge`.
721722 [p=[p=1 q=2] q=[~ [p=~~j q=[p=[p=1 q=2] q="ohn jumps jones"]]]]
722723```
723724
724−
725725---
726726
727−### `++plus`
727+## `++plus`
728728
729729List of at least one match.
730730
@@ -760,9 +760,9 @@ A `++rule`.
760760 ['-' [' ' [' ' ['-' [' ' ~]]]]]
761761```
762762
763−
764763---
765−### `++sear`
764+
765+## `++sear`
766766
767767Conditional `++cook`
768768
@@ -803,9 +803,9 @@ A `++rule`.
803803 [p=[p=1 q=2] q=~]
804804```
805805
806−
807806---
808−### `++shim`
807+
808+## `++shim`
809809
810810Char in range
811811
@@ -851,9 +851,9 @@ A `++rule`.
851851 [p=[p=1 q=2] q=[~ [p=~~~41. q=[p=[p=1 q=2] q="bc"]]]]
852852```
853853
854−
855854---
856−### `++slug` {#slug}
855+
856+## `++slug` {#slug}
857857
858858Use gate to parse delimited list
859859
@@ -890,9 +890,9 @@ A `++rule`.
890890 'abc'
891891```
892892
893−
894893---
895−### `++stag`
894+
895+## `++stag`
896896
897897Add label
898898
@@ -936,9 +936,9 @@ A `++rule`.
936936 [p=[p=1 q=2] q=[~ u=[p=[10.000 ~~a] q=[p=[p=1 q=2] q="bc"]]]]
937937```
938938
939−
940939---
941−### `++star`
940+
941+## `++star`
942942
943943List of matches
944944
@@ -979,9 +979,9 @@ Parser modifier: parse `++list` of matches.
979979 "john smith"
980980```
981981
982−
983982---
984−### `++stet`
983+
984+## `++stet`
985985
986986Add faces
987987
@@ -993,8 +993,6 @@ Add faces `[p q]` to range-parser pairs in a list.
993993
994994#### Produces
995995
996−
997−
998996#### Source
999997
1000998```hoon
@@ -1030,9 +1028,9 @@ Add faces `[p q]` to range-parser pairs in a list.
10301028 ]
10311029```
10321030
1033−
10341031---
1035−### `++stew`
1032+
1033+## `++stew`
10361034
10371035Switch by first
10381036
@@ -1083,15 +1081,13 @@ Switch by first
10831081 ::
10841082```
10851083
1086−
10871084Parser generator. From an associative `++list` of characters or character
10881085ranges to `++rule`s, construct a `++map`, and parse `++tape`s only
10891086with `++rules` associated with a range that the `++tape`'s first character falls in.
10901087
1091−
1092−
10931088---
1094−### `++stir`
1089+
1090+## `++stir`
10951091
10961092Parse repeatedly
10971093
@@ -1137,9 +1133,9 @@ A rule.
11371133 b=294
11381134```
11391135
1140−
11411136---
1142−### `++stun`
1137+
1138+## `++stun`
11431139
11441140Parse several times
11451141
content/docs/hoon/reference/stdlib/4g.md+8−8
@@ -4,7 +4,7 @@ weight = 34
44template = "doc.html"
55+++
66
7−### `++rash`
7+## `++rash`
88
99Parse or crash
1010
@@ -47,9 +47,9 @@ The value of the parse result, or crash.
4747 ! exit
4848```
4949
50−
5150---
52−### `++rush`
51+
52+## `++rush`
5353
5454Parse or null
5555
@@ -91,9 +91,9 @@ The value of the parse result, or null.
9191 ~
9292```
9393
94−
9594---
96−### `++rust`
95+
96+## `++rust`
9797
9898Parse tape or null
9999
@@ -131,9 +131,9 @@ A `(unit ,@t)`
131131 ~
132132```
133133
134−
135134---
136−### `++scan`
135+
136+## `++scan`
137137
138138Parse tape or crash
139139
@@ -176,4 +176,4 @@ Either a `++tape` or a crash.
176176 ! exit
177177```
178178
179−---
179+---
content/docs/hoon/reference/stdlib/4h.md+66−64
@@ -4,7 +4,7 @@ weight = 35
44template = "doc.html"
55+++
66
7−### `++ace`
7+## `++ace`
88
99Parse space
1010
@@ -33,9 +33,9 @@ Parses ASCII character 32, space.
3333 [p=[p=1 q=2] q=[~ [p=~~. q=[p=[p=1 q=2] q="abc "]]]]
3434```
3535
36−
3736---
38−### `++bar`
37+
38+## `++bar`
3939
4040Parse vertical bar
4141
@@ -63,9 +63,9 @@ Parses ASCII character 124, the vertical bar.
6363 [p=[p=1 q=2] q=[~ [p=~~~7c. q=[p=[p=1 q=2] q="="]]]]
6464```
6565
66−
6766---
68−### `++bas`
67+
68+## `++bas`
6969
7070Parse backslash
7171
@@ -98,9 +98,9 @@ character, `\`.
9898 [p=[p=1 q=1] q=~]
9999```
100100
101−
102101---
103−### `++buc`
102+
103+## `++buc`
104104
105105Parse dollar sign
106106
@@ -128,9 +128,9 @@ Parses ASCII character 36, the dollar sign.
128128 [p=[p=1 q=2] q=[~ [p=~~~24. q=[p=[p=1 q=2] q="%"]]]]
129129```
130130
131−
132131---
133−### `++cab`
132+
133+## `++cab`
134134
135135Parse underscore
136136
@@ -158,9 +158,9 @@ Parses ASCII character 95, the underscore.
158158 [p=[p=1 q=1] q=~]
159159```
160160
161−
162161---
163−### `++cen`
162+
163+## `++cen`
164164
165165Parses percent sign
166166
@@ -188,9 +188,9 @@ Parses ASCII character 37, the percent sign.
188188 [p=[p=1 q=2] q=[~ [p=~~~25. q=[p=[p=1 q=2] q="^"]]]]
189189```
190190
191−
192191---
193−### `++col`
192+
193+## `++col`
194194
195195Parse colon
196196
@@ -219,7 +219,8 @@ Parses ASCII character 58, the colon
219219```
220220
221221---
222−### `++com`
222+
223+## `++com`
223224
224225Parse comma
225226
@@ -247,9 +248,9 @@ Parses ASCII character 44, the comma.
247248 [p=[p=1 q=1] q=~]
248249```
249250
250−
251251---
252−### `++doq`
252+
253+## `++doq`
253254
254255Parse double quote
255256
@@ -282,9 +283,9 @@ Parses ASCII character 34, the double quote.
282283 ! exit
283284```
284285
285−
286286---
287−### `++dot`
287+
288+## `++dot`
288289
289290Parse period
290291
@@ -312,9 +313,9 @@ Parses ASCII character 46, the period.
312313 [p=[p=1 q=2] q=[~ [p=~~~. q=[p=[p=1 q=2] q="^"]]]]
313314```
314315
315−
316316---
317−### `++fas`
317+
318+## `++fas`
318319
319320Parse forward slash
320321
@@ -339,9 +340,9 @@ Parses ASCII character 47, the forward slash.
339340 [p=[p=1 q=1] q=~]
340341```
341342
342−
343343---
344−### `++gal`
344+
345+## `++gal`
345346
346347Parse less-than sign
347348
@@ -369,9 +370,9 @@ Parses ASCII character 60, the less-than sign.
369370 [p=[p=1 q=1] q=~]
370371```
371372
372−
373373---
374−### `++gar`
374+
375+## `++gar`
375376
376377Parse greater-than sign
377378
@@ -399,9 +400,9 @@ Parses ASCII character 62, the greater-than sign.
399400 [p=[p=1 q=1] q=~]
400401```
401402
402−
403403---
404−### `++hax`
404+
405+## `++hax`
405406
406407Parse number sign
407408
@@ -426,9 +427,9 @@ Parses ASCII character 35, the number sign.
426427 [p=[p=1 q=2] q=[~ [p=~~~23. q=[p=[p=1 q=2] q="!"]]]]
427428```
428429
429−
430430---
431−### `++hep`
431+
432+## `++hep`
432433
433434Parse hyphen
434435
@@ -453,9 +454,9 @@ Parses ASCII character 45, the hyphen.
453454 [p=[p=1 q=1] q=~]
454455```
455456
456−
457457---
458−### `++kel`
458+
459+## `++kel`
459460
460461Parse left curley bracket
461462
@@ -482,9 +483,9 @@ interpolation. To parse either of them, they must be escaped.
482483 [p=[p=1 q=1] q=~]
483484```
484485
485−
486486---
487−### `++ker`
487+
488+## `++ker`
488489
489490Parse right curley bracket
490491
@@ -511,9 +512,9 @@ interpolation. To parse either of them, they must be escaped.
511512 [p=[p=1 q=1] q=~]
512513```
513514
514−
515515---
516−### `++ket`
516+
517+## `++ket`
517518
518519Parse caret
519520
@@ -539,7 +540,8 @@ Parses ASCII character 94, the caret.
539540```
540541
541542---
542−### `++lus`
543+
544+## `++lus`
543545
544546Parse plus sign
545547
@@ -567,9 +569,9 @@ Parses ASCII character 43, the plus sign.
567569 [p=[p=1 q=1] q=~]
568570```
569571
570−
571572---
572−### `++pam`
573+
574+## `++pam`
573575
574576Parse ampersand
575577
@@ -597,9 +599,9 @@ Parses ASCII character 38, the ampersand.
597599 [p=[p=1 q=1] q=~]
598600```
599601
600−
601602---
602−### `++pat`
603+
604+## `++pat`
603605
604606Parse "at" sign
605607
@@ -627,9 +629,9 @@ Parses ASCII character 64, the "at" sign.
627629 [p=[p=1 q=1] q=~]
628630```
629631
630−
631632---
632−### `++pel`
633+
634+## `++pel`
633635
634636Parse left parenthesis
635637
@@ -654,9 +656,9 @@ Parses ASCII character 40, the left parenthesis.
654656 [p=[p=1 q=1] q=~]
655657```
656658
657−
658659---
659−### `++per`
660+
661+## `++per`
660662
661663Parse right parenthesis
662664
@@ -681,9 +683,9 @@ Parses ASCII character 41, the right parenthesis.
681683 [p=[p=1 q=1] q=~]
682684```
683685
684−
685686---
686−### `++sel`
687+
688+## `++sel`
687689
688690Parse left square bracket
689691
@@ -708,9 +710,9 @@ Parses ASCII character 91, the left square bracket.
708710 [p=[p=1 q=1] q=~]
709711```
710712
711−
712713---
713−### `++sem`
714+
715+## `++sem`
714716
715717Parse semicolon
716718
@@ -735,9 +737,9 @@ Parses ASCII character 59, the semicolon.
735737 [p=[p=1 q=1] q=~]
736738```
737739
738−
739740---
740−### `++ser`
741+
742+## `++ser`
741743
742744Parse right square bracket
743745
@@ -762,9 +764,9 @@ Parses ASCII character 93, the right square bracket.
762764 [p=[p=1 q=1] q=~]
763765```
764766
765−
766767---
767−### `++sig`
768+
769+## `++sig`
768770
769771Parse tilde
770772
@@ -789,9 +791,9 @@ Parses ASCII character 126, the tilde.
789791 [p=[p=1 q=1] q=~]
790792```
791793
792−
793794---
794−### `++soq`
795+
796+## `++soq`
795797
796798Parse single quote
797799
@@ -817,9 +819,9 @@ Parses ASCII character 39, soq. Note the extra '' is to escape the first
817819 [p=[p=1 q=1] q=~]
818820```
819821
820−
821822---
822−### `++tar`
823+
824+## `++tar`
823825
824826Parse asterisk
825827
@@ -847,9 +849,9 @@ Parses ASCII character 42, the asterisk.
847849 [p=[p=1 q=1] q=~]
848850```
849851
850−
851852---
852−### `++tec`
853+
854+## `++tec`
853855
854856Parse backtick
855857
@@ -878,9 +880,9 @@ accent").
878880 [p=[p=1 q=1] q=~]
879881```
880882
881−
882883---
883−### `++tis`
884+
885+## `++tis`
884886
885887Parse equals sign
886888
@@ -906,7 +908,8 @@ Parses ASCII character 61, the equals sign.
906908```
907909
908910---
909−### `++wut`
911+
912+## `++wut`
910913
911914Parses question mark
912915
@@ -931,9 +934,9 @@ Parses ASCII character 63, the question mark.
931934 [p=[p=1 q=1] q=~]
932935```
933936
934−
935937---
936−### `++zap`
938+
939+## `++zap`
937940
938941Exclamation point
939942
@@ -958,5 +961,4 @@ Parses ASCII character 33, the exclamation point zap.
958961 [p=[p=1 q=1] q=~]
959962```
960963
961−
962−---
964+---
content/docs/hoon/reference/stdlib/4i.md+70−72
@@ -4,7 +4,7 @@ weight = 36
44template = "doc.html"
55+++
66
7−### `++alf`
7+## `++alf`
88
99Alphabetic characters
1010
@@ -29,9 +29,9 @@ Parse alphabetic characters, both upper and lowercase.
2929 "AaBbCc"
3030```
3131
32−
3332---
34−### `++aln`
33+
34+## `++aln`
3535
3636Alphanumeric characters
3737
@@ -56,9 +56,9 @@ Parse alphanumeric characters - both alphabetic characters and numbers.
5656 "0123456789abcdef"
5757```
5858
59−
6059---
61−### `++alp`
60+
61+## `++alp`
6262
6363Alphanumeric and `-`
6464
@@ -83,10 +83,9 @@ Parse alphanumeric strings and hep, "-".
8383 "123abc-"
8484```
8585
86−
8786---
8887
89−### `++bet`
88+## `++bet`
9089
9190Axis syntax `-`, `+`
9291
@@ -108,9 +107,9 @@ Parse the hep and lus axis syntax.
108107 3
109108```
110109
111−
112110---
113−### `++bin`
111+
112+## `++bin`
114113
115114Binary to atom
116115
@@ -138,9 +137,9 @@ Parse a tape of binary (0s and 1s) and produce its atomic representation.
138137 2.063
139138```
140139
141−
142140---
143−### `++but`
141+
142+## `++but`
144143
145144Binary digit
146145
@@ -167,9 +166,9 @@ Parse a single binary digit.
167166 ~[0 1]
168167```
169168
170−
171169---
172−### `++cit`
170+
171+## `++cit`
173172
174173Octal digit
175174
@@ -196,9 +195,9 @@ Parse a single octal digit.
196195 ~[6 0]
197196```
198197
199−
200198---
201−### `++dem`
199+
200+## `++dem`
202201
203202Decimal to atom
204203
@@ -223,9 +222,9 @@ Parse a decimal number to an atom.
223222 12.456
224223```
225224
226−
227225---
228−### `++dit`
226+
227+## `++dit`
229228
230229Decimal digit
231230
@@ -248,9 +247,9 @@ Parse a single decimal digit.
248247 ~[2 6 0 0 0]
249248```
250249
251−
252250---
253−### `++dog`
251+
252+## `++dog`
254253
255254`.` optional gap
256255
@@ -273,9 +272,9 @@ Dot followed by an optional gap, used with numbers.
273272 [~~~. ~]
274273```
275274
276−
277275---
278−### `++doh`
276+
277+## `++doh`
279278
280279`@p` separator
281280
@@ -301,9 +300,9 @@ Phonetic base phrase separator
301300 [[~~- ~~-] ~]
302301```
303302
304−
305303---
306−### `++dun`
304+
305+## `++dun`
307306
308307`--` to `~`
309308
@@ -324,10 +323,9 @@ Parse phep, `--`, to null, `~`.
324323 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=""]]]]
325324```
326325
327−
328326---
329327
330−### `++duz`
328+## `++duz`
331329
332330`==` to `~`
333331
@@ -348,10 +346,9 @@ Parse stet, `==`, to null `~`.
348346 [p=[p=1 q=3] q=[~ u=[p=~ q=[p=[p=1 q=3] q=" |=..."]]]]
349347```
350348
351−
352349---
353350
354−### `++gah`
351+## `++gah`
355352
356353Newline or ' '
357354
@@ -386,9 +383,9 @@ Whitespace component, either newline or space.
386383 ~[32 32 32 10 32 10 32 32]
387384```
388385
389−
390386---
391−### `++gap`
387+
388+## `++gap`
392389
393390Plural whitespace
394391
@@ -400,9 +397,9 @@ Separates tall runes
400397 ++ gap (cold ~ ;~(plug gaq (star ;~(pose vul gah)))) :: plural whitespace
401398```
402399
403−
404400---
405−### `++gaq`
401+
402+## `++gaq`
406403
407404End of line
408405
@@ -418,10 +415,9 @@ Two spaces, a newline, or comment.
418415 ==
419416```
420417
421−
422−
423418---
424−### `++gaw`
419+
420+## `++gaw`
425421
426422Classic whitespace
427423
@@ -433,9 +429,9 @@ Terran whitespace.
433429 ++ gaw (cold ~ (star ;~(pose vul gah))) :: classic white
434430```
435431
436−
437432---
438−### `++gay`
433+
434+## `++gay`
439435
440436Optional gap
441437
@@ -448,7 +444,8 @@ Optional gap.
448444```
449445
450446---
451−### `++gon`
447+
448+## `++gon`
452449
453450Long numbers
454451
@@ -470,9 +467,9 @@ Parse long numbers - Numbers which wrap around the shell with the line
470467 [p=[p=1 q=3] q=[~ u=[p=[~~~5c. ~ ~~~2f.] q=[p=[p=1 q=3] q=""]]]]
471468```
472469
473−
474470---
475−### `++gul`
471+
472+## `++gul`
476473
477474Axis syntax `<` or `>`
478475
@@ -494,9 +491,9 @@ Parse the axis gal and gar axis syntax.
494491 3
495492```
496493
497−
498494---
499−### `++hex`
495+
496+## `++hex`
500497
501498Hex to atom
502499
@@ -528,7 +525,8 @@ Parse any hexadecimal number to an atom.
528525```
529526
530527---
531−### `++hig`
528+
529+## `++hig`
532530
533531Uppercase
534532
@@ -556,9 +554,9 @@ Parse a single uppercase letter.
556554 [p=[p=1 q=2] q=[~ [p=~~~47. q=[p=[p=1 q=2] q=""]]]]
557555```
558556
559−
560557---
561−### `++hit`
558+
559+## `++hit`
562560
563561Hex digits
564562
@@ -588,7 +586,8 @@ Parse a single hexadecimal digit.
588586```
589587
590588---
591−### `++iny`
589+
590+## `++iny`
592591
593592Indentation block
594593
@@ -645,9 +644,9 @@ A `++rule`.
645644 de"
646645```
647646
648−
649647---
650−### `++low`
648+
649+## `++low`
651650
652651Lowercase
653652
@@ -672,9 +671,9 @@ Parse a single lowercase letter.
672671 [p=[p=1 q=2] q=[~ [p=~~g q=[p=[p=1 q=2] q=""]]]]
673672```
674673
675−
676674---
677−### `++mes`
675+
676+## `++mes`
678677
679678Hexbyte
680679
@@ -699,9 +698,9 @@ Parse a hexbyte.
699698 66
700699```
701700
702−
703701---
704−### `++nix`
702+
703+## `++nix`
705704
706705Letters and `-`
707706
@@ -723,10 +722,9 @@ Parse Letters and `-`.
723722 'as_me'
724723```
725724
726−
727725---
728726
729−### `++nud`
727+## `++nud`
730728
731729Numeric
732730
@@ -752,7 +750,8 @@ Parse a numeric character - A number.
752750```
753751
754752---
755−### `++prn`
753+
754+## `++prn`
756755
757756Printable character
758757
@@ -776,9 +775,9 @@ Parse any printable character.
776775 ! exit
777776```
778777
779−
780778---
781−### `++qit`
779+
780+## `++qit`
782781
783782Chars in cord
784783
@@ -814,9 +813,9 @@ Parse an individual character to its cord atom representation.
814813 ~[99 111 114 100]
815814```
816815
817−
818816---
819−### `++qit`
817+
818+## `++qit`
820819
821820Chars in cord
822821
@@ -852,10 +851,9 @@ Parse an individual character to its cord atom representation.
852851 ~[99 111 114 100]
853852```
854853
855−
856−
857854---
858−### `++qut`
855+
856+## `++qut`
859857
860858Cord
861859
@@ -894,9 +892,9 @@ quote (aka triple-soq) cord, between which must be in an indented block.
894892 'Heredoc isn't prohibited from containing quotes'
895893```
896894
897−
898895---
899−### `++soz`
896+
897+## `++soz`
900898
901899Delimiting `'''`
902900
@@ -918,9 +916,9 @@ Parse a triple-single quote, used for multiline strings.
918916 ! exit
919917```
920918
921−
922919---
923−### `++sym`
920+
921+## `++sym`
924922
925923Term
926924
@@ -947,9 +945,9 @@ A term: a letter(lowercase), followed by letters, numbers, or `-`.
947945 7.174.515
948946```
949947
950−
951948---
952−### `++ven`
949+
950+## `++ven`
953951
954952`+>-` axis syntax
955953
@@ -988,9 +986,9 @@ Axis syntax parser
988986 [3 4]
989987```
990988
991−
992989---
993−### `++vit`
990+
991+## `++vit`
994992
995993Base64 digit
996994
@@ -1023,7 +1021,8 @@ Parse a standard base64 digit.
10231021```
10241022
10251023---
1026−### `++vul`
1024+
1025+## `++vul`
10271026
10281027Comments to null
10291028
@@ -1050,5 +1049,4 @@ with a newline character.
10501049 ! exit
10511050```
10521051
1053−
1054−---
1052+---
content/docs/hoon/reference/stdlib/4j.md+62−64
@@ -4,7 +4,7 @@ weight = 37
44template = "doc.html"
55+++
66
7−### `++ab`
7+## `++ab`
88
99Primitive parser engine
1010
@@ -24,7 +24,7 @@ A core containing numeric parser primitives.
2424 <36.ecc 414.gly 100.xkc 1.ypj %164>
2525```
2626
27−------------------------------------------------------------------------
27+---
2828
2929### `++bix:ab`
3030
@@ -57,7 +57,7 @@ A an atom. XX
5757 q=163
5858```
5959
60−------------------------------------------------------------------------
60+---
6161
6262### `++hif:ab`
6363
@@ -89,7 +89,7 @@ An atom.
8989 q=48.626
9090```
9191
92−------------------------------------------------------------------------
92+---
9393
9494### `++huf:ab`
9595
@@ -125,7 +125,7 @@ An atom. XX
125125 0x1.0100
126126```
127127
128−------------------------------------------------------------------------
128+---
129129
130130### `++hyf:ab`
131131
@@ -157,7 +157,7 @@ An atom. XX
157157 365.637.097.828.335.095
158158```
159159
160−------------------------------------------------------------------------
160+---
161161
162162### `++pev:ab`
163163
@@ -193,7 +193,7 @@ An atom.
193193 ~ <syntax error at [1 11]>
194194```
195195
196−------------------------------------------------------------------------
196+---
197197
198198### `++pew:ab`
199199
@@ -207,8 +207,6 @@ Up to five @uw (base 64) digits.
207207
208208#### Produces
209209
210−
211−
212210#### Source
213211
214212```hoon
@@ -232,7 +230,7 @@ Up to five @uw (base 64) digits.
232230 ! exit
233231```
234232
235−------------------------------------------------------------------------
233+---
236234
237235### `++piv:ab`
238236
@@ -260,7 +258,7 @@ Parsing `++rule`. Parses exactly five base-32 digits.
260258 ! exit
261259```
262260
263−------------------------------------------------------------------------
261+---
264262
265263### `++piw:ab`
266264
@@ -288,8 +286,7 @@ Parsing `++rule`. Parses exactly five base-64 digits.
288286 ! exit
289287```
290288
291−
292−------------------------------------------------------------------------
289+---
293290
294291### `++qeb:ab`
295292
@@ -325,7 +322,7 @@ a leading zero.
325322 ! exit
326323```
327324
328−------------------------------------------------------------------------
325+---
329326
330327### `++qex:ab`
331328
@@ -359,7 +356,7 @@ without a leading zero.
359356 ! exit
360357```
361358
362−------------------------------------------------------------------------
359+---
363360
364361### `++qib:ab`
365362
@@ -389,7 +386,7 @@ Parsing `++rule`. Parses exactly four binary digits.
389386 ! exit
390387```
391388
392−------------------------------------------------------------------------
389+---
393390
394391### `++qix:ab`
395392
@@ -419,7 +416,7 @@ Parsing `++rule`. Parses exactly four hexadecimal digits.
419416 ! exit
420417```
421418
422−------------------------------------------------------------------------
419+---
423420
424421### `++seb:ab`
425422
@@ -450,7 +447,7 @@ Parsing `++rule`. Parses the number 1.
450447 ! {1 1}
451448```
452449
453−------------------------------------------------------------------------
450+---
454451
455452### `++sed:ab`
456453
@@ -478,7 +475,7 @@ Parsing `++rule`. Parses a nonzero decimal digit.
478475 ! exit
479476```
480477
481−------------------------------------------------------------------------
478+---
482479
483480### `++sev:ab`
484481
@@ -506,7 +503,7 @@ Parsing `++rule`. Parses a nonzero base-32 digit
506503 ! exit
507504```
508505
509−------------------------------------------------------------------------
506+---
510507
511508### `++sew:ab`
512509
@@ -534,7 +531,7 @@ Parsing `++rule`. Parses a nonzero base-64 digit
534531 ! exit
535532```
536533
537−------------------------------------------------------------------------
534+---
538535
539536### `++sex:ab`
540537
@@ -562,7 +559,7 @@ Parsing `++rule`. Parses a nonzero hexadecimal digit.
562559 ! exit
563560```
564561
565−------------------------------------------------------------------------
562+---
566563
567564### `++sib:ab`
568565
@@ -589,7 +586,7 @@ Parsing `++rule`. Parses a binary digit.
589586 0
590587```
591588
592−------------------------------------------------------------------------
589+---
593590
594591### `++sid:ab`
595592
@@ -614,7 +611,7 @@ Parsing `++rule`. Parses a decimal digit.
614611 5
615612```
616613
617−------------------------------------------------------------------------
614+---
618615
619616### `++siv:ab`
620617
@@ -639,7 +636,7 @@ Parsing `++rule`. Parses a base-32 digit.
639636 12
640637```
641638
642−------------------------------------------------------------------------
639+---
643640
644641### `++siw:ab`
645642
@@ -664,7 +661,7 @@ Parsing `++rule`. Parses a base-64 digit.
664661 48
665662```
666663
667−------------------------------------------------------------------------
664+---
668665
669666### `++six:ab`
670667
@@ -689,7 +686,7 @@ Parsing `++rule`. Parses a hexadecimal digit.
689686 14
690687```
691688
692−------------------------------------------------------------------------
689+---
693690
694691### `++sov:ab`
695692
@@ -713,7 +710,8 @@ Parsing `++rule`. Parses a base-32 letter.
713710 > (scan "c" sov:ab)
714711 12
715712```
716−------------------------------------------------------------------------
713+
714+---
717715
718716### `++sow:ab`
719717
@@ -743,7 +741,7 @@ Parsing `++rule`. Parses a base-64 letter/symbol.
743741 48
744742```
745743
746−------------------------------------------------------------------------
744+---
747745
748746### `++sox:ab`
749747
@@ -768,7 +766,7 @@ Parsing `++rule`. Parses a hexadecimal letter.
768766 14
769767```
770768
771−------------------------------------------------------------------------
769+---
772770
773771### `++ted:ab`
774772
@@ -801,7 +799,7 @@ leading zero.
801799 ! exit
802800```
803801
804−------------------------------------------------------------------------
802+---
805803
806804### `++tip:ab`
807805
@@ -830,7 +828,7 @@ syllable.
830828 242
831829```
832830
833−------------------------------------------------------------------------
831+---
834832
835833### `++tiq:ab`
836834
@@ -849,6 +847,7 @@ syllable.
849847 ++ tiq (sear |=(a/@ (ind:po a)) til)
850848
851849```
850+
852851#### Examples
853852
854853```
@@ -858,7 +857,7 @@ syllable.
858857 1
859858```
860859
861−------------------------------------------------------------------------
860+---
862861
863862### `++tid:ab`
864863
@@ -886,7 +885,7 @@ Parsing `++rule`. Parses exactly three decimal digits.
886885 ! exit
887886```
888887
889−------------------------------------------------------------------------
888+---
890889
891890### `++til:ab`
892891
@@ -916,7 +915,7 @@ Parsing `++rule`. Parses exactly three lowercase letters.
916915 ! exit
917916```
918917
919−------------------------------------------------------------------------
918+---
920919
921920### `++urs:ab`
922921
@@ -945,7 +944,7 @@ Parsing rule. Parses characters from an atom of the span aura `@ta`.
945944 'asa-lom_tak'
946945```
947946
948−------------------------------------------------------------------------
947+---
949948
950949### `++urt:ab`
951950
@@ -973,7 +972,7 @@ for cab, `_`.
973972 'asa-lom.t0k'
974973```
975974
976−------------------------------------------------------------------------
975+---
977976
978977### `++voy:ab`
979978
@@ -1001,9 +1000,9 @@ byte.
10011000 q=39
10021001```
10031002
1004−------------------------------------------------------------------------
1003+---
10051004
1006−### `++ag`
1005+## `++ag`
10071006
10081007Top-level atom parser engine
10091008
@@ -1027,7 +1026,7 @@ A core containing top-level atom parsers.
10271026 <14.vpu 414.mof 100.xkc 1.ypj %164>
10281027```
10291028
1030−------------------------------------------------------------------------
1029+---
10311030
10321031### `++ape:ag`
10331032
@@ -1054,7 +1053,7 @@ Parser modifier. Parses 0 or the sample rule `fel`.
10541053 ~[2 0 2]
10551054```
10561055
1057−------------------------------------------------------------------------
1056+---
10581057
10591058### `++bay:ag`
10601059
@@ -1079,7 +1078,7 @@ Parsing rule. Parses a binary number without a leading zero.
10791078 q=38
10801079```
10811080
1082−------------------------------------------------------------------------
1081+---
10831082
10841083### `++bip:ag`
10851084
@@ -1107,7 +1106,7 @@ Parsing rule. Parses a `@is`, an IPv6 address.
11071106 .0.0.ea.3e6c.0.0.0.0
11081107```
11091108
1110−------------------------------------------------------------------------
1109+---
11111110
11121111### `++dem:ag`
11131112
@@ -1134,7 +1133,7 @@ Parsing rule. Parses a decimal number that includes dot separators.
11341133 q=13.507
11351134```
11361135
1137−------------------------------------------------------------------------
1136+---
11381137
11391138### `++dim:ag`
11401139
@@ -1162,7 +1161,7 @@ Parsing rule. Parses a decimal number without a leading zero.
11621161 ! exit
11631162```
11641163
1165−------------------------------------------------------------------------
1164+---
11661165
11671166### `++dum:ag`
11681167
@@ -1191,7 +1190,7 @@ Parsing rule. Parses a decmial number with leading zeroes.
11911190 q=13.507
11921191```
11931192
1194−------------------------------------------------------------------------
1193+---
11951194
11961195### `++fed:ag`
11971196
@@ -1233,7 +1232,7 @@ Parsing rule. Parses an atom of aura `@p`, the phonetic base.
12331232 282.810.089.790.159.633.869.501.053.313.363.681.181
12341233```
12351234
1236−------------------------------------------------------------------------
1235+---
12371236
12381237### `++hex:ag`
12391238
@@ -1264,7 +1263,7 @@ Parsing rule. Parses a hexadecimal number
12641263 0x3.ac8d
12651264```
12661265
1267−------------------------------------------------------------------------
1266+---
12681267
12691268### `++lip:ag`
12701269
@@ -1294,7 +1293,7 @@ Parsing rule. Parses an IPv4 address.
12941293 .8.8.8.8
12951294```
12961295
1297−------------------------------------------------------------------------
1296+---
12981297
12991298### `++viz:ag`
13001299
@@ -1319,7 +1318,7 @@ Parsing rule. Parses a Base-32 number with dot separators.
13191318 q=15.125.353.270
13201319```
13211320
1322−------------------------------------------------------------------------
1321+---
13231322
13241323### `++vum:ag`
13251324
@@ -1344,7 +1343,7 @@ Parsing rule. Parses a raw base-32 string.
13441343 q=15.125.353.270
13451344```
13461345
1347−------------------------------------------------------------------------
1346+---
13481347
13491348### `++wiz:ag`
13501349
@@ -1372,7 +1371,8 @@ Parsing rule. Parses a base-64 number.
13721371```
13731372
13741373---
1375−### `++mu`
1374+
1375+## `++mu`
13761376
13771377Core used to scramble 16-bit atoms
13781378
@@ -1402,7 +1402,7 @@ relationship between a planet and its star.
14021402 <3.sjm [[@ux @ux] <414.hhh 100.xkc 1.ypj %164>]>
14031403```
14041404
1405−------------------------------------------------------------------------
1405+---
14061406
14071407### `++zag:mu`
14081408
@@ -1433,7 +1433,7 @@ planet.
14331433 [0x22e1 0x201]
14341434```
14351435
1436−------------------------------------------------------------------------
1436+---
14371437
14381438### `++zig:mu`
14391439
@@ -1465,7 +1465,7 @@ planet.
14651465 [0x1f04 0x1042]
14661466```
14671467
1468−------------------------------------------------------------------------
1468+---
14691469
14701470### `++zug:mu`
14711471
@@ -1495,14 +1495,13 @@ planet name.
14951495 0x10e1.00fa
14961496```
14971497
1498−
14991498---
1500−### `++ne`
1499+
1500+## `++ne`
15011501
15021502Digit rendering engine
15031503
1504−A door containing arms that render digits at bases 10, 16, 32, and
1505−64.
1504+A door containing arms that render digits at bases 10, 16, 32, and 64.
15061505
15071506#### Accepts
15081507
@@ -1524,7 +1523,7 @@ A door containing arms that render digits at bases 10, 16, 32, and
15241523 <4.gut [@ud <414.hhh 100.xkc 1.ypj %164>]>
15251524```
15261525
1527−------------------------------------------------------------------------
1526+---
15281527
15291528### `++d:ne`
15301529
@@ -1552,7 +1551,7 @@ Renders a decimal digit as an atom of an ACII byte value.
15521551
15531552```
15541553
1555−------------------------------------------------------------------------
1554+---
15561555
15571556### `++x:ne`
15581557
@@ -1582,7 +1581,7 @@ Renders a hexadecimal digit as an atom of an ASCII byte value.
15821581 'e'
15831582```
15841583
1585−------------------------------------------------------------------------
1584+---
15861585
15871586### `++v:ne`
15881587
@@ -1611,7 +1610,7 @@ Renders a base-32 digit as an atom of an ASCII byte value.
16111610 'p'
16121611```
16131612
1614−------------------------------------------------------------------------
1613+---
16151614
16161615### `++w:ne`
16171616
@@ -1652,5 +1651,4 @@ Renders a base-64 digit as an atom of an ASCII byte value.
16521651 '-'
16531652```
16541653
1655−
16561654---
content/docs/hoon/reference/stdlib/4k.md+5−5
@@ -4,7 +4,7 @@ weight = 38
44template = "doc.html"
55+++
66
7−### `++co`
7+## `++co`
88
99Literal rendering engine
1010
@@ -34,7 +34,7 @@ A door that contains arms that operate on the sample coin `lot`.
3434 >
3535```
3636
37−------------------------------------------------------------------------
37+---
3838
3939### `++rear:co`
4040
@@ -63,7 +63,7 @@ Renders a coin `lot` as a tape prepended to the sample tape `rom`.
6363 "0xc8--ha"
6464```
6565
66−------------------------------------------------------------------------
66+---
6767
6868### `++rent:co`
6969
@@ -92,7 +92,8 @@ Renders a coin `lot` as a span.
9292 > `@t`~(rent co %$ %ux 200)
9393 '0xc8'
9494```
95−------------------------------------------------------------------------
95+
96+---
9697
9798### `++rend:co`
9899
@@ -272,5 +273,4 @@ Renders a coin `lot` as a tape.
272273 0vph
273274```
274275
275−
276276---
content/docs/hoon/reference/stdlib/4l.md+11−13
@@ -4,7 +4,7 @@ weight = 39
44template = "doc.html"
55+++
66
7−### `++so`
7+## `++so`
88
99Coin parser engine
1010
@@ -28,7 +28,7 @@ Core containing arms that parse `++coin`.
2828 <10.mkn 414.hhh 100.xkc 1.ypj %164>
2929```
3030
31−------------------------------------------------------------------------
31+---
3232
3333### `++bisk:so`
3434
@@ -68,7 +68,7 @@ producing a `++dime`.
6868 [%ux q=1.205.249]
6969```
7070
71−------------------------------------------------------------------------
71+---
7272
7373### `++crub:so`
7474
@@ -260,7 +260,7 @@ and `@t`, producing a `++dime`.
260260 [%ta 7.561.581]
261261```
262262
263−------------------------------------------------------------------------
263+---
264264
265265### `++nuck:so`
266266
@@ -289,7 +289,6 @@ corresponding `++coin` parser.
289289 ==
290290```
291291
292−
293292#### Examples
294293
295294```
@@ -316,7 +315,7 @@ corresponding `++coin` parser.
316315 0vph
317316```
318317
319−------------------------------------------------------------------------
318+---
320319
321320### `++nusk:so`
322321
@@ -349,7 +348,7 @@ formatting).
349348 [~ %ta ~.asd_a]
350349```
351350
352−------------------------------------------------------------------------
351+---
353352
354353### `++perd:so`
355354
@@ -385,7 +384,7 @@ prefixes.
385384 [%many [[% p=[p=~.ud q=20]] ~[[% p=[p=~.tas q=120]]]]]
386385```
387386
388−------------------------------------------------------------------------
387+---
389388
390389### `++royl:so`
391390
@@ -456,7 +455,7 @@ Parsing rule. Parses a number into a `++dime` float.
456455 .~3.13999999999999
457456```
458457
459−------------------------------------------------------------------------
458+---
460459
461460### `++royl-cell:so`
462461
@@ -475,7 +474,7 @@ Intermediate parsed float convereter
475474 ::
476475```
477476
478−------------------------------------------------------------------------
477+---
479478
480479### `++tash:so`
481480
@@ -518,7 +517,7 @@ Parsing rule. Parses a signed number into a `++dime`.
518517 [%sx --0x2e]
519518```
520519
521−------------------------------------------------------------------------
520+---
522521
523522### `++twid:so`
524523
@@ -556,7 +555,7 @@ Parsing rule. Parses coins after a leading sig, `~`.
556555 [%blob [1 1]]
557556```
558557
559−------------------------------------------------------------------------
558+---
560559
561560### `++zust:so`
562561
@@ -604,5 +603,4 @@ Parsing rule. Parses an atom of either `@if` (IP address), `@f`
604603 [%rd .~12.00999999999999]
605604```
606605
607−
608606---
content/docs/hoon/reference/stdlib/4m.md+20−18
@@ -4,7 +4,7 @@ weight = 40
44template = "doc.html"
55+++
66
7−### `++scot`
7+## `++scot`
88
99Render dime as cord
1010
@@ -45,9 +45,9 @@ A `cord`.
4545 '~.asd_a'
4646```
4747
48−
4948---
50−### `++scow`
49+
50+## `++scow`
5151
5252Render dime as tape
5353
@@ -66,6 +66,7 @@ A `tape`.
6666```hoon
6767 ++ scow |=(mol/dime ~(rend co %$ mol))
6868```
69+
6970#### Examples
7071
7172```
@@ -79,9 +80,9 @@ A `tape`.
7980 "~.asd_a"
8081```
8182
82−
8383---
84−### `++slat`
84+
85+## `++slat`
8586
8687Curried slaw
8788
@@ -117,9 +118,9 @@ A `gate`.
117118 [~ ~.asd_a
118119```
119120
120−
121121---
122−### `++slav`
122+
123+## `++slav`
123124
124125Demand: parse cord with input aura
125126
@@ -164,7 +165,8 @@ The atom of a `(unit @)` from `++slaw`, or crash.
164165```
165166
166167---
167−### `++slaw`
168+
169+## `++slaw`
168170
169171Parse cord to input aura
170172
@@ -212,9 +214,9 @@ A `(unit @)`.
212214 ~
213215```
214216
215−
216217---
217−### `++slay`
218+
219+## `++slay`
218220
219221Parse cord to coin
220222
@@ -272,9 +274,9 @@ A `(unit coin)`.
272274 0vph
273275```
274276
275−
276277---
277−### `++smyt`
278+
279+## `++smyt`
278280
279281Render path as tank
280282
@@ -318,9 +320,9 @@ A `tank`.
318320 ]
319321```
320322
321−
322323---
323−### `++spat`
324+
325+## `++spat`
324326
325327Render path as cord
326328
@@ -351,9 +353,9 @@ A `cord`.
351353 '/as/les/top'
352354```
353355
354−
355356---
356−### `++spud`
357+
358+## `++spud`
357359
358360Render path as tape
359361
@@ -384,9 +386,9 @@ A `tape`.
384386 "/as/les/top"
385387```
386388
387−
388389---
389−### `++stab`
390+
391+## `++stab`
390392
391393Parse cord to path
392394
content/docs/hoon/reference/stdlib/4n.md+15−13
@@ -4,7 +4,7 @@ weight = 41
44template = "doc.html"
55+++
66
7−### `++mack`
7+## `++mack`
88
99Nock subject to unit
1010
@@ -48,9 +48,9 @@ The `++unit` of a noun.
4848 [~ %no]
4949```
5050
51−
5251---
53−### `++mink`
52+
53+## `++mink`
5454
5555Mock interpreter
5656
@@ -174,7 +174,8 @@ A `++tone`.
174174```
175175
176176---
177−### `++mock`
177+
178+## `++mock`
178179
179180Compute formula on subject with hint
180181
@@ -223,9 +224,9 @@ The `++unit` of a noun.
223224 "14"
224225```
225226
226−
227227---
228−### `++mong`
228+
229+## `++mong`
229230
230231Slam gate with sample
231232
@@ -279,9 +280,9 @@ A `++toon`.
279280 [%0 p=[8 6]]
280281```
281282
282−
283283---
284−### `++mook`
284+
285+## `++mook`
285286
286287Intelligently render crash annotation
287288
@@ -351,9 +352,9 @@ A `++toon`.
351352 [%2 p=~[[%leaf p="/b/repl/:<[1 1].[1 2]>"] [%leaf p="####"]]]
352353```
353354
354−
355355---
356−### `++mule`
356+
357+## `++mule`
357358
358359Typed virtual
359360
@@ -404,9 +405,9 @@ XX
404405 ]
405406```
406407
407−
408408---
409−### `++mute`
409+
410+## `++mute`
410411
411412Untyped virtual
412413
@@ -417,6 +418,7 @@ information.
417418#### Accepts
418419
419420`taq` is a `++trap`.
421+
420422#### Produces
421423
422424Either a noun or a `++list` of `++tank`.
@@ -444,4 +446,4 @@ Either a noun or a `++list` of `++tank`.
444446 [%.n p=~]
445447```
446448
447−---
449+---
content/docs/hoon/reference/stdlib/4o.md+27−27
@@ -4,7 +4,7 @@ weight = 42
44template = "doc.html"
55+++
66
7−### `++abel`
7+## `++abel`
88
99Biblical names in hoon are primarily aliases for the compiler.
1010
@@ -23,7 +23,7 @@ Biblical names in hoon are primarily aliases for the compiler.
2323
2424---
2525
26−### `++aura`
26+## `++aura`
2727
2828'type' of atom
2929
@@ -48,7 +48,7 @@ See also: `++base`, aura reference
4848
4949---
5050
51−### `++base`
51+## `++base`
5252
5353Base type
5454
@@ -78,7 +78,7 @@ boolean or null labelled with an aura.
7878
7979---
8080
81−### `++beer`
81+## `++beer`
8282
8383Tape builder
8484
@@ -101,7 +101,7 @@ Used to build tapes internally.
101101
102102---
103103
104−### `++beet`
104+## `++beet`
105105
106106XML interpolation cases
107107
@@ -121,7 +121,7 @@ Used internally.
121121
122122---
123123
124−### `++chum`
124+## `++chum`
125125
126126Jet hint information
127127
@@ -153,7 +153,7 @@ XX there's a ++chum in zuse that's politely causing this not to work
153153
154154---
155155
156−### `++coil`
156+## `++coil`
157157
158158Tuple of core information
159159
@@ -171,7 +171,7 @@ intermediate step within Section 2fB. Converted by `++core` to %core type.
171171
172172---
173173
174−### `++foot`
174+## `++foot`
175175
176176Cases of arms by variance model.
177177
@@ -207,7 +207,7 @@ See also: `++ap`, `++ut`
207207
208208---
209209
210−### `++limb`
210+## `++limb`
211211
212212```hoon
213213 ++ limb $|(term $%([%& p=axis] [%| p=@ud q=term])) ::
@@ -230,7 +230,7 @@ See also: section 2fC-2fD
230230
231231---
232232
233−### `++line`
233+## `++line`
234234
235235XX move to `++ut`
236236
@@ -261,7 +261,7 @@ XX move to `++ut`
261261
262262---
263263
264−### `++metl`
264+## `++metl`
265265
266266```hoon
267267 ++ metl ?(%gold %iron %zinc %lead) :: core variance
@@ -273,7 +273,7 @@ See also: `++coil`
273273
274274---
275275
276−### `++nock`
276+## `++nock`
277277
278278Virtual machine. See Nock.
279279
@@ -304,7 +304,7 @@ Virtual machine. See Nock.
304304
305305---
306306
307−### `++null`
307+## `++null`
308308
309309```hoon
310310 ++ null ,~ :: null, nil, etc
@@ -320,7 +320,7 @@ Used nowhere XX
320320
321321---
322322
323−### `++port`
323+## `++port`
324324
325325XX move to `++ut`
326326
@@ -346,7 +346,7 @@ Type and location of core-shaped thing? XX Compiler Internals
346346
347347---
348348
349−### `++span`
349+## `++span`
350350
351351ASCII atom
352352
@@ -381,7 +381,7 @@ besides numbers and lowercase letters are permitted.
381381
382382---
383383
384−### `++tiki`
384+## `++tiki`
385385
386386XX move to `++ut`
387387
@@ -418,7 +418,7 @@ A `++wing` or `++hoon`.
418418
419419---
420420
421−### `++toga`
421+## `++toga`
422422
423423Tree of faces
424424
@@ -461,7 +461,7 @@ XX move to `++ut` and rune doc (for \^= examples)
461461
462462---
463463
464−### `++tone`
464+## `++tone`
465465
466466Intermediate Nock computation result
467467
@@ -509,7 +509,7 @@ Similar to `++toon`, but stack trace is not yet rendered.
509509
510510---
511511
512−### `++tuna`
512+## `++tuna`
513513
514514XML template tree
515515
@@ -535,7 +535,7 @@ See also: `++sail`
535535
536536---
537537
538−### `++tusk`
538+## `++tusk`
539539
540540List of expressions
541541
@@ -559,7 +559,7 @@ a `++tusk`.
559559
560560---
561561
562−### `++hoon`
562+## `++hoon`
563563
564564Expression
565565
@@ -569,7 +569,7 @@ See Rune section of Hoon reference
569569
570570---
571571
572−### `++tyke`
572+## `++tyke`
573573
574574List of 'maybe' hoons
575575
@@ -594,7 +594,7 @@ a `++tyke`, where the `=` are inferred from your current path.
594594
595595---
596596
597−### `++typo`
597+## `++typo`
598598
599599Pointer for `++type`
600600
@@ -613,7 +613,7 @@ See also: `++seem`, `++vise`, `++type`
613613
614614---
615615
616−### `++tyre`
616+## `++tyre`
617617
618618List, term hoon
619619
@@ -627,7 +627,7 @@ Associative list of `++term` `++hoon`, used in jet hint processing.
627627
628628---
629629
630−### `++vase`
630+## `++vase`
631631
632632Typed data. A `++vase` is used wherever typed data is explicitly worked
633633with.
@@ -647,7 +647,7 @@ with.
647647
648648---
649649
650−### `++vise`
650+## `++vise`
651651
652652Convert during reboot
653653
@@ -665,7 +665,7 @@ See also: `++typo`, `++seer`
665665
666666---
667667
668−### `++wing`
668+## `++wing`
669669
670670```hoon
671671 ++ wing (list limb) ::
content/docs/hoon/reference/stdlib/5f.md+18−23
@@ -4,11 +4,11 @@ weight = 48
44template = "doc.html"
55+++
66
7−### `++mane`
7+## `++mane`
88
99XML name
1010
11−An XML name (tag name or attribute name) with an optional namespace. Parsed by
11+An XML name (tag name or attribute name) with an optional namespace. Parsed by
1212`++name:de-xml:html` in `zuse.hoon`, rendered by `++name:en-xml:html` in `zuse.hoon`.
1313
1414#### Source
@@ -31,9 +31,9 @@ See also: `++sail`
3131 [%div %namespace]
3232```
3333
34−
3534---
36−### `++manx`
35+
36+## `++manx`
3737
3838XML node.
3939
@@ -49,10 +49,9 @@ Parsed by `++apex` within `++apex:de-xml:html` in `zuse.hoon`, rendered by `++ap
4949
5050See also: `++sail` doc
5151
52−
53−
5452---
55−### `++marl`
53+
54+## `++marl`
5655
5756List of XML nodes
5857
@@ -66,10 +65,9 @@ A list of `++manx`.
6665
6766#### Examples
6867
69−
70−
7168---
72−### `++mars`
69+
70+## `++mars`
7371
7472XML CDATA
7573
@@ -83,10 +81,9 @@ Implicitly produced by `++chrd` within `++chrd:de-xml:html`
8381
8482#### Examples
8583
86−
87−
8884---
89−### `++mart`
85+
86+## `++mart`
9087
9188List of XML attributes
9289
@@ -103,9 +100,9 @@ Parsed by `++attr:de-xml:html` in `zuse.hoon`, rendered by `++attr:en-xml:html`
103100
104101#### Examples
105102
106−
107103---
108−### `++marx`
104+
105+## `++marx`
109106
110107XML tag
111108
@@ -120,10 +117,9 @@ A `++marx` is a pair of a tag name, `++mane` and a list of attributes,
120117
121118#### Examples
122119
123−
124−
125120---
126−### `++pass`
121+
122+## `++pass`
127123
128124Atom alias
129125
@@ -135,9 +131,9 @@ Used primarily in crypto.
135131 ++ pass @ :: public key
136132```
137133
138−
139134---
140−### `++ring`
135+
136+## `++ring`
141137
142138Atom alias
143139
@@ -149,9 +145,9 @@ Used primarily in crypto.
149145 ++ ring @ :: private key
150146```
151147
152−
153148---
154−### `++time`
149+
150+## `++time`
155151
156152Absolute date
157153
@@ -172,5 +168,4 @@ See also: `++date`, aura reference
172168 ~2014.1.1
173169```
174170
175−
176171---