@@ -69,7 +69,7 @@ or `48.879`, whose parent is `~mun`, `0xef`, `239`. The parent of
70A `span` defines a set (finite or infinite) of `noun`s and ascribes some semantics to it. There is no Hoon syntax for a `span`; it is always produced as the inferred range of an expression (`twig`).
70A `span` defines a set (finite or infinite) of `noun`s and ascribes some semantics to it. There is no Hoon syntax for a `span`; it is always produced as the inferred range of an expression (`twig`).
72−*See [basic types](../basic)*
72+*See [basic types](../../hoon/basic/#-type-span-and-mold)*
74###### `mold`: a type constructor / validator
74###### `mold`: a type constructor / validator
@@ -78,7 +78,7 @@ A mold is an idempotent `gate` (function), accepting any `noun` and normalizing
78- `icon`: the `span` of a `mold`
78- `icon`: the `span` of a `mold`
79- `bunt`: *(TODO: ??)*
79- `bunt`: *(TODO: ??)*
81−*See [`mold`](../twig/buc-mold/)*
81+*See [`mold` `twig`s](../../hoon/twig/buc-mold/)*
83###### `gate`: a function, lambda or closure
83###### `gate`: a function, lambda or closure
@@ -91,13 +91,13 @@ The `payload` of a `gate` has a shape of `{sample context}`.
91- `sample`: the argument *(TODO: or plural?)* of a `gate`
91- `sample`: the argument *(TODO: or plural?)* of a `gate`
92- `context`: the subject in *(TODO: against?)* which a `gate` was defined
92- `context`: the subject in *(TODO: against?)* which a `gate` was defined
94−*See [basic types](../basic)*
94++*See [basic types](../../hoon/basic/#-core-p-span-q-map-term-span), [`%-` or `:call`](../../hoon/twig/cen-call/hep-call/) (the `twig` for calling a `gate`)*
96###### `arm`: a named, functionally-computed attribute of a `core`
96###### `arm`: a named, functionally-computed attribute of a `core`
98The `twig` of each `arm` is compiled to a Nock formula, with the enclosing `core` itself as the subject.
98The `twig` of each `arm` is compiled to a Nock formula, with the enclosing `core` itself as the subject.
100−*See [basic types](../basic)*
100+*See [basic types](../../hoon/basic)*
102###### `core`: a code-data `cell`
102###### `core`: a code-data `cell`
@@ -127,7 +127,7 @@ Every `dry` `core` has a `metal` *(TODO: check)* which defines its *variance* mo
127- `zync`: *covariant*
127- `zync`: *covariant*
128- `iron`: *contravariant*
128- `iron`: *contravariant*
130−*See [advanced types](../advanced)*
130+*See [advanced types](../../hoon/advanced)*
132###### `foot`: a `wet` or `dry` `twig`
132###### `foot`: a `wet` or `dry` `twig`
@@ -144,6 +144,8 @@ A Hoon `atom` is a Nock `atom`, with two additional pieces of metadata (TODO: ?)
144- `warm`: if the `unit` is `~` (null), any `atom` is in the `span`
144- `warm`: if the `unit` is `~` (null), any `atom` is in the `span`
145- `cold`: if the `unit` is `[~ x]`, where `x` is any `atom`, its only legal value is the constant `x`. *(TODO: what does this actually mean? What is the consequence of illegality?)*
145- `cold`: if the `unit` is `[~ x]`, where `x` is any `atom`, its only legal value is the constant `x`. *(TODO: what does this actually mean? What is the consequence of illegality?)*
147+*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*
147###### `aura`: a soft `atom` type
149###### `aura`: a soft `atom` type
149*alternately `odor`*
151*alternately `odor`*
@@ -167,7 +169,7 @@ A Hoon `atom` is a Nock `atom`, with two additional pieces of metadata (TODO: ?)
168- `tape` (`(list char)`): a `tape` is not an `aura`, but a `mold` for a collection where every item has an `aura` of `char` *(TODO: is this for easy indexing vs `@t`?)*
170- `tape` (`(list char)`): a `tape` is not an `aura`, but a `mold` for a collection where every item has an `aura` of `char` *(TODO: is this for easy indexing vs `@t`?)*
170−*See [basic types](../basic)*
172+*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*
172###### `loobean`: a Hoon boolean
174###### `loobean`: a Hoon boolean
@@ -193,11 +195,11 @@ The vast majority of `twig`s have a *regular form*, beginning with either a keyw
194- `sigil`: a keyword used to begin a `twig`
196- `sigil`: a keyword used to begin a `twig`
196−Hoon does not have reserved words, but `sigil`s (prefixed with `:`), which are effectively aliases for `rune`s. For example, [`:cons` is `:-`](../twig/col-cel/hep-cons).
198+Hoon does not have reserved words, but `sigil`s (prefixed with `:`), which are effectively aliases for `rune`s. For example, [`:cons` is `:-`](../../hoon/twig/col-cel/hep-cons).
198−- `rune`: a pair of ASCII symbols used to begin a `twig` - the first symbol represents a family of related `twig`s. For example, the [`:` family](../twig/col-cell/) are all for cell-construction.
200+- `rune`: a pair of ASCII symbols used to begin a `twig` - the first symbol represents a family of related `twig`s. For example, the [`:` family](../../hoon/twig/col-cell/) are all for cell-construction.
200−*See [`twig` concept](../concepts) and [expressions](../twig/)*
202+*See [`twig` concept](../../hoon/concepts/#-twig-expression) and [expressions](../../hoon/twig/)*
202###### `limb`: attribute or variable reference
204###### `limb`: attribute or variable reference
@@ -206,7 +208,7 @@ To resolve a `limb` named "foo", the `subject` is searched depth-first, head-fir
206- `leg`: a subexpression, or subtree of the `subject`. usually another `twig`, sometimes a symbol (`@tas`) or `wing`
208- `leg`: a subexpression, or subtree of the `subject`. usually another `twig`, sometimes a symbol (`@tas`) or `wing`
207- `wing`: a list of `limb`s
209- `wing`: a list of `limb`s
209−*See [Limbs and wings](../twig/limb)*
211+*See [Limbs and wings](../../hoon/twig/limb)*
211###### `face`: a named variable
213###### `face`: a named variable
@@ -222,7 +224,7 @@ A `face` is a `span` *(TODO: ?)* with a label (`@tas`) wrapped around it.
222 - `alias`: a `face` that is a lazy reference to another `face`
224 - `alias`: a `face` that is a lazy reference to another `face`
223 - `bridge`: a `face` that references a `twig`, against which the `face` label is resolved
225 - `bridge`: a `face` that references a `twig`, against which the `face` label is resolved
225−*See [advanced types](../advanced)*
227+*See [advanced types](../../hoon/advanced/#-face-aliases-and-bridges)*
227###### `nest`: a type-casting operation
229###### `nest`: a type-casting operation