@@ -93,12 +93,6 @@ The `payload` of a `gate` has a shape of `{sample context}`.
9393
9494+*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`)*
9595
96−###### `arm`: a named, functionally-computed attribute of a `core`
97−
98−The `twig` of each `arm` is compiled to a Nock formula, with the enclosing `core` itself as the subject.
99−
100−*See [basic types](../../hoon/basic)*
101−
10296###### `core`: a code-data `cell`
10397
10498The code (`battery`) is the head, the data (`payload`) is the tail. All code-data structures in normal languages (functions, objects, modules, etc) become `core`s in Hoon.
@@ -129,6 +123,12 @@ Every `dry` `core` has a `metal` *(TODO: check)* which defines its *variance* mo
129123
130124*See [advanced types](../../hoon/advanced)*
131125
126+###### `arm`: a named, functionally-computed attribute of a `core`
127+
128+The `twig` of each `arm` is compiled to a Nock formula, with the enclosing `core` itself as the subject.
129+
130+*See [basic types](../../hoon/basic)*
131+
132132###### `foot`: a `wet` or `dry` `twig`
133133
134134*TODO: any `twig`, or always an `arm` within a `battery`?*