@@ -69,7 +69,7 @@ or `48.879`, whose parent is `~mun`, `0xef`, `239`. The parent of
6969- `formula`: a `noun` - a function at the Nock level
7070- `product`: a `noun` - the result of evaluating a `formula` against a `subject`
7171
72−*See [Nock definition](/nock/definition/).*
72+*See [Nock definition](../../nock/definition/).*
7373
7474### Hoon
7575
@@ -82,7 +82,7 @@ ascribes some semantics to it. There is no Hoon syntax for a
8282`span`; it is always produced as the inferred range of an
8383expression (`twig`).
8484
85−*See [basic types](/hoon/basic/#-type-span-and-mold).*
85+*See [basic types](../../hoon/basic/#-type-span-and-mold).*
8686
8787###### `core`: a code-data `cell`
8888
@@ -93,7 +93,7 @@ objects, modules, etc) become `core`s in Hoon.
9393- `battery`: the code of a `core`, a tree of `arm`s
9494- `payload`: the data in a `core`
9595
96−*See [basic types](/hoon/basic)*.
96+*See [basic types](../../hoon/basic)*.
9797
9898###### `arm`: a named, functionally-computed attribute of a `core`
9999
@@ -108,7 +108,7 @@ dry.
108108For a `dry` `arm`, we ask, is the new `payload` compatible with
109109the old `payload` (against which the `core` was compiled)?
110110
111−- `wet`: unusual, `--`, polymorphic by means of *genericity*
111+- `wet`: unusual, `+-`, polymorphic by means of *genericity*
112112
113113A `wet` `arm` uses the `twig` as a macro. We create a new type
114114analysis 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}`.
140140- `sample`: the argument tuple
141141- `context`: the subject in which the `gate` was defined
142142
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`).*
144144
145145###### `mold`: a type constructor / validator
146146
@@ -157,7 +157,7 @@ and producing a range with a useful `span`.
157157A Hoon `atom` span describes a Nock `atom`, with two additional
158158pieces of metadata: an `aura`, and an optional constant.
159159
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
161161exists.
162162
163163- `warm`: if the constant is `~` (null), any `atom` is in the `span`
@@ -181,7 +181,7 @@ Some common auras and their aliases:
181181
182182- `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.
183183- `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`)
185185
186186*See [basic types](../../hoon/basic/#-atom-p-term-q-unit-atom)*.
187187