@@ -68,9 +68,10 @@ the type `atom`. On the other hand,
6868...this should result in a `nest-fail`, because `[17 18]` is a cell,
6969not an atom.
7070
71−See the documentation on the `^` family of runes for more information
72−on casts. See the documentation on the `$` family of runes for
73−building molds. (Also check out the irregular `,` operator.)
71+See the documentation on the [`^` family](../twig/ket-cast/) of runes
72+for more information on casts. See the documentation on the
73+[`$` family](../twig/buc-mold/) of runes for building molds.
74+(Also check out the irregular `,` operator.)
7475
7576## `type`: a set of types
7677
@@ -107,6 +108,7 @@ section.
107108If the `type`-tree is an atom, it's either a `%noun` or a `%void`; if
108109the `type`-tree is a cell, it's a tuple with one of the heads `%atom`,
109110`%cell`, `%core`, etc. We'll go through each of these cases below.
111+these cases below.
110112
111113### `?($noun $void)`
112114
@@ -117,12 +119,12 @@ for the empty set.
117119
118120### `{$cell p/type q/type}`
119121
120−`[%cell p/type q/type]` is for the set of all cells with head `p` and
122+`[%cell p=type q=type]` is for the set of all cells with head `p` and
121123tail `q`.
122124
123125### `{$fork p/(set type)}`
124126
125−`[%fork p/(set type)]` is for the union of all types in the set `p`.
127+`[%fork p=(set type)]` is for the union of all types in the set `p`.
126128
127129### `{$hold p/type q/hoon}`
128130
@@ -135,12 +137,12 @@ Note that this means we can have parsed Hoon AST data in the
135137
136138### `{$face p/term q/type}`
137139
138−A `[%face p/term q/type]` wraps the label `p` around the type
140+A `[%face p=term q=type]` wraps the label `p` around the type
139141`q`. `p` is a `term` or `@tas`, an atomic ASCII string which
140142obeys symbol rules: lowercase and digit only, infix hyphen,
141143first character must be lowercase.
142144
143−See [`:limb`](../twig/limb/limb) for how labels are resolved. It's
145+See [`%limb`](../twig/limb/limb) for how labels are resolved. It's
144146nontrivial.
145147
146148### `{%atom p/term q/(unit atom))}`