@@ -101,7 +101,7 @@ atoms (in this case each with an aura of `%ud`, i.e. unsigned
101101decimal).
102102
103103To parse Hoon source into a hoon AST, use `ream` on a `cord`
104−containing Hoon source, try the following in `dojo`:
104+containing Hoon source. Try the following in `dojo`:
105105
106106```
107107(ream ':+(12 7 %a)')
@@ -122,10 +122,10 @@ information, a [`hoon`](#hoon) is a parsed expression (AST), and a
122122and a parsed source expression; it produces a product type and an
123123executable formula.
124124
125−Calculating the output type from the input `hoon` is called "type
126−inference". If you've used another typed functional language, like
127−Haskell, the Hoon compiler's type inference does the same job but
128−with less intelligence.
125+Calculating the output type from the input `hoon` and subject type
126+is called "type inference". If you've used another typed functional
127+language, like Haskell, the Hoon compiler's type inference does the
128+same job but with less intelligence.
129129
130130Haskell infers backward and forward; Hoon only infers forward.
131131Hoon can't figure out the type of a noun from how you use it,