@@ -81,7 +81,7 @@ A ship's *pier* is its Unix directory. For planets the name of the pier is usua
8181> Hoon is a strict, higher-order typed functional language that compiles
8282> itself to Nock.
8383
84−###### span: an inferred type
84+###### <h6 id="span">span:</h6> an inferred type
8585
8686A *span* defines a set (finite or infinite) of nouns and ascribes some
8787semantics to it. There is no Hoon syntax for a span; it is always
@@ -89,18 +89,18 @@ produced as the inferred range of an expression (*twig*).
8989
9090*See [basic types](../../hoon/basic/#-type-span-and-mold).*
9191
92−###### core: a code-data cell
92+###### <h6 id="core">core:</h6> a code-data cell
9393
9494The code (*battery*) is the head, the data (*payload*) is the tail. All
9595code-data structures in normal languages (functions, objects, modules,
9696etc) become *core*s in Hoon.
9797
98−- *battery*: the code of a core, a tree of *arms*
99−- *payload*: the data in a core
98+- <h6 id="battery">*battery*:</h6> the code of a core, a tree of *arms*
99+- <h6 id="payload">*payload*:</h6> the data in a core
100100
101101*See [basic types](../../hoon/basic)*.
102102
103−###### arm: a named, functionally-computed attribute of a core
103+###### <h6 id="arm">arm:</h6> a named, functionally-computed attribute of a core
104104
105105The *twig* of each arm is compiled to a Nock formula, with the
106106enclosing `core` itself as the subject.
@@ -133,7 +133,7 @@ properties of the span of a compatible core). The default is `gold`
133133
134134*See [advanced types](/hoon/advanced)*.
135135
136−###### gate: a function/lambda/closure
136+###### <h6 id="gate">gate:</h6> a function/lambda/closure
137137
138138A *gate* is a core with one arm. To call a gate on an argument,
139139replace the sample (at [tree
@@ -149,7 +149,7 @@ The payload of a gate has a shape of `{sample context}`.
149149[`%-` or `:call`](../../hoon/twig/cen-call/hep-call/) (the `twig` for
150150calling a `gate`).*
151151
152−###### mold: a type constructor / validator
152+###### <h6 id="mold">mold:</h6> a type constructor / validator
153153
154154A *mold* is an idempotent gate (function), accepting any noun, and
155155producing a range with a useful span.
@@ -196,7 +196,7 @@ Some common auras and their aliases:
196196
197197*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*.
198198
199−###### twig: a Hoon expression
199+###### <h6 id="twig">twig:</h6> a Hoon expression
200200
201201A *twig* is a Hoon expression. Specifically, twig is the mold for the
202202noun that a Hoon source expression compiles to. A twig is always a cell.
@@ -205,16 +205,16 @@ A twig has one of two forms: `{twig twig}`, which produces the ordered
205205pair of the two twigs, or a cell `{stem bulb}`, where `stem` is an
206206atomic symbol.
207207
208−- *stem*: an atomic symbol (`@tas`) - the name of a twig.
209−- *bulb*: The mold of the twig's contents.
208+- <h6 id="stem">*stem*:</h6> an atomic symbol (`@tas`) - the name of a twig.
209+- <h6 id="bulb">*bulb*:</h6> The mold of the twig's contents.
210210
211211Most twigs have a *regular form*, beginning with a *sigil* which is
212212either a *keyword* or a *rune*. Some twigs also have a syntactic
213213*irregular form*; a few have *only* an *irregular form*.
214214
215−- *sigil*: a *keyword* or *rune* used to begin a twig
215+- <h6 id="sigil">*sigil*:</h6> a *keyword* or *rune* used to begin a twig
216216- *keyword*: the value of a stem, prefixed with `:`.
217−- *rune*: a pair of ASCII symbols used to begin a twig.
217+- <h6 id="rune">*rune*:</h6> a pair of ASCII symbols used to begin a twig.
218218
219219For example, the stem `%if` becomes the keyword
220220[`:if`](../../hoon/twig/wut-test/col-if/), with the rune `?:`. The first