@@ -8,7 +8,7 @@ Core expressions produce cores. A core is a cell of `[battery payload]`.
88The `battery` is code, a battery of Nock formulas. The `payload` is the data
99needed to run those formulas correctly.
1010
11−Four core runes (`|=`, `|.`, `|-`, and `|*`) produce a
11+Five core runes (`|=`, `|.`, `|-`, `|*`, and `|$`) produce a
1212core with a single arm, named `$`. We can recompute this arm
1313with changes, which is useful for recursion among other things.
1414
@@ -60,7 +60,9 @@ gates that produce structures, while `|*` should be used for any other sort of
6060wet gate. Thus, the second argument of `|$` is frequently a buc
6161rune. For further discussion of wet gates, see the entry for [`|*`](#bartar).
6262
63−Unlike other single-armed cores, `|$` does not have an arm named `$` that can be recursed upon.
63+Like other single-arm cores, the arm for `|$` is named `$` and this can be used to
64+define recursive structures. Note however that Hoon is evaluated eagerly, and so
65+infinite structures are not permitted.
6466
6567Proper style for `|$` is to enclose the first argument with brackets, even if it
6668is only a single term. The interpeter will accept a single term without brackets