@@ -32,7 +32,7 @@ a few new words is a small price for avoiding this pain point.
3232## Concepts
3333
3434A few major Hoon concepts: `noun` (data), `nock` (interpreter),
35−[`mint`](#mint) (compiler), [`hoon`](#hoon) (AST node),
35+[`hoon`](#hoon) (AST node), [`mint`](#mint) (compiler),
3636`gate` (function), `mold` (constructor), `core` (object), `mark`
3737(protocol).
3838
@@ -117,11 +117,12 @@ Try it in the `:dojo` to get:
117117
118118### <a name="mint">`mint`</a> (compiler)
119119
120−[`mint`](#mint) is the Hoon compiler. It maps a cell `[type hoon]` to a
121−cell `[type nock]`, where a [`type`](#type) is a type, a [`hoon`](#hoon)
122−is a parsed expression (AST), and a `nock` is a Nock formula. `mint` accepts
123−a subject type and a parsed source expression; it produces a product type
124−and an executable formula.
120+[`mint`](#mint) is the Hoon compiler. It maps a cell `[type hoon]`
121+to a cell `[type nock]`, where a [`type`](#type) is type
122+information, a [`hoon`](#hoon) is a parsed expression (AST), and a
123+`nock` is a Nock formula. `mint` accepts a subject type and a parsed
124+source expression; it produces a product type and an executable
125+formula.
125126
126127Calculating the output type from the input type and the source
127128code is called "type inference". If you've used another typed