@@ -12,7 +12,7 @@ In Urbit every piece of data is a noun. In order to understand Hoon one must fi
13## Noun Definition
13## Noun Definition
15−A *noun* is either an atom or a cell. An *atom* is a natural number ("unsigned integer" in computer lingo) of any size, including zero. A *cell* is an [ordered pair](https://en.wikipedia.org/wiki/Ordered_pair) of nouns, usually indicated with square brackets around the nouns in question; i.e., `[a b]`, where `a` and `b` are nouns.
15+A *noun* is either an atom or a cell. An *atom* is a natural number (unsigned integer) of any size, including zero. A *cell* is an ordered pair of nouns, usually indicated with square brackets around the nouns in question; i.e., `[a b]`, where `a` and `b` are nouns.
17Here are some atoms:
17Here are some atoms:
@@ -56,6 +56,7 @@ Each number is an atom; each dot is a cell. Let's look at another example, this
57An atom is a trivial tree of just one node; e.g., `17`.
57An atom is a trivial tree of just one node; e.g., `17`.
61Atoms are unsigned integers. These are often represented by the dojo as unsigned integers in decimal notation, e.g., `17`.
62Atoms are unsigned integers. These are often represented by the dojo as unsigned integers in decimal notation, e.g., `17`.
@@ -171,7 +172,7 @@ All of the above are atoms. The underlying noun of each is just an unsigned int
174−The `\`@\`` syntax is used to 'cast' a value to a raw atom, i.e., an atom without an aura. Don't worry about exactly what `\`@\`` means just yet. Casts will be explained in more detail in a later lesson. For now all you need to know is that a cast doesn't change the underlying value of the noun; it's used here only to change how the value is printed in the dojo output.
175+The `\`@\`` syntax is used to 'cast' a value to a raw atom, i.e., an atom without an aura. Don't worry about exactly what `\`@\`` means just yet. Casts will be explained in more detail in a later lesson. For now all you need to know is that a cast doesn't change the underlying value of the noun.
176#### Identities, Cords, and Terms
177#### Identities, Cords, and Terms
@@ -307,7 +308,7 @@ In this cell `32` is the head and `320` is the tail. Cells can contain cells, a
307[[%in 0xa] 'cell']
308[[%in 0xa] 'cell']
310−I said there isn't _much_ mystery about cells, but there is a little. So far whenever we've entered a cell into the dojo, it not only returned the same cell; the cell was printed in the same way it was entered. This doesn't always happen. The dojo is obligated to evaluate the input and return the correct answer, but it doesn't have to show the result in exactly the same way:
311+There isn't _much_ mystery about cells, but there is a little. So far whenever we've entered a cell into the dojo, it not only returned the same cell; the cell was printed in the same way it was entered. This doesn't always happen. The dojo is obligated to evaluate the input and return the correct answer, but it doesn't have to show the result in exactly the same way:
313> [6 [62 620]]
314> [6 [62 620]]