@@ -185,7 +185,7 @@ Hoon and Nock have several unusual properties:
185 consists of the standard library (itself a stack of cores), and
185 consists of the standard library (itself a stack of cores), and
186 possibly a "sample" (function argument).
186 possibly a "sample" (function argument).
188−- **The type system has several unusual features**. It's intensional, in
188+- **The type system has several unusual features**. It's intentional, in
189 the sense that all constructs are first-class and can be down-cast to
189 the sense that all constructs are first-class and can be down-cast to
190 `noun`, Hoon's "any" or "top" type that matches all Nock nouns. Types
190 `noun`, Hoon's "any" or "top" type that matches all Nock nouns. Types
191 are also used as scopes, so they store all of Hoon's variable names
191 are also used as scopes, so they store all of Hoon's variable names