@@ -75,9 +75,9 @@ Let's type in some aura examples:
78−So decimal is aura `@ud`, hexadecimal is `@ux`. Note the cast
78+So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
79−syntax, which lets us change the type of an atom, converting hex
79+syntax—`` `@ud` ``—lets us change the type of an
80−`0x42` to a decimal `66`.
80+atom, converting hex `0x42` to a decimal `66`.
82An aura is soft type. The programmer can always insist on how
82An aura is soft type. The programmer can always insist on how
83to interpret an atom. Hoon doesn't have "dependent types"; it
83to interpret an atom. Hoon doesn't have "dependent types"; it