@@ -76,8 +76,8 @@ Let's type in some aura examples:
78So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
78So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
79−syntax—`` `@ud` ``—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