@@ -69,7 +69,7 @@ or `48.879`, whose parent is `~mun`, `0xef`, `239`. The parent of
69- `formula`: a `noun` - a function at the Nock level
69- `formula`: a `noun` - a function at the Nock level
70- `product`: a `noun` - the result of evaluating a `formula` against a `subject`
70- `product`: a `noun` - the result of evaluating a `formula` against a `subject`
72−*See [Nock definition](/nock/definition/).*
72+*See [Nock definition](../../nock/definition/).*
@@ -82,7 +82,7 @@ ascribes some semantics to it. There is no Hoon syntax for a
82`span`; it is always produced as the inferred range of an
82`span`; it is always produced as the inferred range of an
83expression (`twig`).
83expression (`twig`).
85−*See [basic types](/hoon/basic/#-type-span-and-mold).*
85+*See [basic types](../../hoon/basic/#-type-span-and-mold).*
87###### `core`: a code-data `cell`
87###### `core`: a code-data `cell`
@@ -93,7 +93,7 @@ objects, modules, etc) become `core`s in Hoon.
93- `battery`: the code of a `core`, a tree of `arm`s
93- `battery`: the code of a `core`, a tree of `arm`s
94- `payload`: the data in a `core`
94- `payload`: the data in a `core`
96−*See [basic types](/hoon/basic)*.
96+*See [basic types](../../hoon/basic)*.
98###### `arm`: a named, functionally-computed attribute of a `core`
98###### `arm`: a named, functionally-computed attribute of a `core`
@@ -108,7 +108,7 @@ dry.
108For a `dry` `arm`, we ask, is the new `payload` compatible with
108For a `dry` `arm`, we ask, is the new `payload` compatible with
109the old `payload` (against which the `core` was compiled)?
109the old `payload` (against which the `core` was compiled)?
111−- `wet`: unusual, `--`, polymorphic by means of *genericity*
111+- `wet`: unusual, `+-`, polymorphic by means of *genericity*
113A `wet` `arm` uses the `twig` as a macro. We create a new type
113A `wet` `arm` uses the `twig` as a macro. We create a new type
114analysis path, which works as if we expanded the callee with the
114analysis path, which works as if we expanded the callee with the
@@ -140,7 +140,7 @@ The `payload` of a `gate` has a shape of `{sample context}`.
140- `sample`: the argument tuple
140- `sample`: the argument tuple
141- `context`: the subject in which the `gate` was defined
141- `context`: the subject in which the `gate` was defined
143−*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`).*
143+*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`).*
145###### `mold`: a type constructor / validator
145###### `mold`: a type constructor / validator
@@ -157,7 +157,7 @@ and producing a range with a useful `span`.
157A Hoon `atom` span describes a Nock `atom`, with two additional
157A Hoon `atom` span describes a Nock `atom`, with two additional
158pieces of metadata: an `aura`, and an optional constant.
158pieces of metadata: an `aura`, and an optional constant.
160−An `atom` span are `warm` or `cold` based on whether the constant
160+An `atom` span is `warm` or `cold` based on whether the constant
163- `warm`: if the constant is `~` (null), any `atom` is in the `span`
163- `warm`: if the constant is `~` (null), any `atom` is in the `span`
@@ -181,7 +181,7 @@ Some common auras and their aliases:
182- `term` (`@tas`): a symbol - an atomic ASCII string which obeys symbol rules: lowercase and digit only, infix hyphen ("kebab-case"), first character must be lowercase alphabetic.
182- `term` (`@tas`): a symbol - an atomic ASCII string which obeys symbol rules: lowercase and digit only, infix hyphen ("kebab-case"), first character must be lowercase alphabetic.
183- `cord` (`@t`): UTF-8 text, least-significant-byte first
183- `cord` (`@t`): UTF-8 text, least-significant-byte first
184−- `char` (`@td`): a character, a single unicode byte (for multi-byte characters and codepoints, see `@c`)
184+- `char` (`@tD`): a character, a single unicode byte (for multi-byte characters and codepoints, see `@c`)
186*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*.
186*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*.