@@ -445,6 +445,18 @@ new type - in this case by duplicating `val` and changing the head-tag from `%0`
445to `%1`. This is an extremely simple state type transition function - it would
445to `%1`. This is an extremely simple state type transition function - it would
446likely be more complicated for an agent with real functionality.
446likely be more complicated for an agent with real functionality.
448+Note: the `a+b` syntax (as in `1+[val.old val.old]`) forms a cell of the
449+constant `%a` and the noun `b`. The constant may either be an integer or a `@tas`.
448Let's now use `dbug` to confirm our state has successfully been updated to the new
460Let's now use `dbug` to confirm our state has successfully been updated to the new