@@ -164,7 +164,7 @@ can be important for things like Gall app cores that require a fixed number of a
165Under the hood, `+*` gets compiled as `=*`'s. `+* foo bar` rewrites each `++`
165Under the hood, `+*` gets compiled as `=*`'s. `+* foo bar` rewrites each `++`
166arm beneath it in the core to include
166arm beneath it in the core to include
167−`=* foo bar`. For example, the interpreter sees this Hoon expression
167+`=* foo bar`. For example, the interpreter sees the Nock compiled from this Hoon expression
@@ -173,7 +173,7 @@ arm beneath it in the core to include
173++ y (sub z n)
173++ y (sub z n)
176−as being identical to this one:
176+as being identical the Nock compiled from this one: