@@ -68,9 +68,10 @@ the type `atom`. On the other hand,
68...this should result in a `nest-fail`, because `[17 18]` is a cell,
68...this should result in a `nest-fail`, because `[17 18]` is a cell,
69not an atom.
69not an atom.
71−See the documentation on the `^` family of runes for more information
71+See the documentation on the [`^` family](../twig/ket-cast/) of runes
72−on casts. See the documentation on the `$` family of runes for
72+for more information on casts. See the documentation on the
73+[`$` family](../twig/buc-mold/) of runes for building molds.
73−building molds. (Also check out the irregular `,` operator.)
74+(Also check out the irregular `,` operator.)
75## `type`: a set of types
76## `type`: a set of types
@@ -107,6 +108,7 @@ section.
107If the `type`-tree is an atom, it's either a `%noun` or a `%void`; if
108If the `type`-tree is an atom, it's either a `%noun` or a `%void`; if
108the `type`-tree is a cell, it's a tuple with one of the heads `%atom`,
109the `type`-tree is a cell, it's a tuple with one of the heads `%atom`,
109`%cell`, `%core`, etc. We'll go through each of these cases below.
110`%cell`, `%core`, etc. We'll go through each of these cases below.
111### `?($noun $void)`
113### `?($noun $void)`
@@ -117,12 +119,12 @@ for the empty set.
118### `{$cell p/type q/type}`
120### `{$cell p/type q/type}`
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
123### `{$fork p/(set type)}`
125### `{$fork p/(set type)}`
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`.
127### `{$hold p/type q/hoon}`
129### `{$hold p/type q/hoon}`
@@ -135,12 +137,12 @@ Note that this means we can have parsed Hoon AST data in the
136### `{$face p/term q/type}`
138### `{$face p/term q/type}`
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
139`q`. `p` is a `term` or `@tas`, an atomic ASCII string which
141`q`. `p` is a `term` or `@tas`, an atomic ASCII string which
140obeys symbol rules: lowercase and digit only, infix hyphen,
142obeys symbol rules: lowercase and digit only, infix hyphen,
141first character must be lowercase.
143first character must be lowercase.
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
144nontrivial.
146nontrivial.
146### `{%atom p/term q/(unit atom))}`
148### `{%atom p/term q/(unit atom))}`