@@ -196,7 +196,7 @@ Hoon and Nock have several unusual properties:
196 used to validate untrusted data, such as from the network.
196 used to validate untrusted data, such as from the network.
198- **Reflective**. The type of type is just a normal datatype in Hoon, and a
198- **Reflective**. The type of type is just a normal datatype in Hoon, and a
199− lot of the system manipulates types. In particular, the !> rune, when
199+ lot of the system manipulates types. In particular, the `!>` rune, when
200 applied to a piece of data, uses compile-time type reflection to
200 applied to a piece of data, uses compile-time type reflection to
201 produce something called a "vase": a pair of type and data, similar to
201 produce something called a "vase": a pair of type and data, similar to
202 a Data.Dynamic in Haskell, or a limited form of a dependent pair.
202 a Data.Dynamic in Haskell, or a limited form of a dependent pair.