@@ -17,17 +17,16 @@ Atom representing block size. A block of size `a` has a bitwidth of `2^a`.
1717
1818#### Examples
1919
20− ::++met measures how many a-bloqs long an atom is. In other words, how
21− many bloqs of size a would be needed to represent b.
20+ :: ++met measures how many a-bloqs long an atom is.
2221
23− > (met 3 256) ::one 3-bloq has a bidwidth of 8, which can represent 0-255
22+ > (met 3 256)
2423 2
2524
2625 > (met 3 255)
2726 1
2827
29− > (met 3 65.535) ::two 3-bloqs together have a bidwidth of 16, which can represent 0-65,535
30− > 2
28+ > (met 3 65.535)
29+ 2
3130
3231 > (met 2 65.536)
3332 > 3
@@ -47,8 +46,8 @@ Atom representing block size. A block of size `a` has a bitwidth of `2^a`.
4746#### Discussion
4847
4948You can think of `bloq` as a numeral system that can represent values of
50−`a^2^2`, where `a` is the size of a given block. That's because a block of size
51−`a` is `a^2` bits wide, and a binary number that is `b` bits wide can represent
49+`a^2^2`, where `a` is the block size. That's because a block of size
50+`a` contains `a^2` bits, and a binary number that is `b` bits wide can represent
5251`b^2` values.
5352
5453A `bloq` of 0 has a bitwidth of 1. (2^0 bits; can represent 2 values.)
@@ -61,6 +60,7 @@ A `bloq` of 3 has a bitwidth of 8. (2^3 bits; can represent 256 values.)
6160
6261And so on.
6362
63+See the [bit arithmetic](../2c) section for operations that use `bloq`s.
6464
6565***
6666
@@ -109,14 +109,18 @@ product noun. If used dryly as a type, the subject must have a sample type of
109109 <1.rdl {* <31.ohr 1.jmk $143>}>
110110 <1.rdl {* <31.ohr 1.jmk $143>}>
111111
112− > (`gate`|=(a/* [a 'b']) 1)
112+ > (`gate`|=(a=* [a 'b']) 1)
113113 [1 98]
114114
115+ > (`gate`|=(a=@ [a 'b']) 1)
116+ ! nest-fail
117+ ! exit
118+
115119#### Discussion
116120
117121A `gate` is analogous to a function in other programming languages. We created
118122this new jargon because other constructs in Urbit are "functions" in the
119−mathematical sense.
123+mathematical sense. Any `gate` normalizes to an iron `gate`.
120124
121125See also: [`++lift`](../2a), [`++cork`](../2n)
122126
@@ -257,7 +261,7 @@ A mold generator. Produces a tuple of four of the types passed in.
257261
258262Mold of pair of `list` and type
259263
260−A mold generator. Produces a tuple of a list of `a` and the mold of `b`.
264+A mold generator. Produces a tuple of a `list` of `a` and the mold of `b`.
261265
262266#### Source
263267
@@ -275,7 +279,7 @@ A mold generator. Produces a tuple of a list of `a` and the mold of `b`.
275279#### Discussion
276280
277281A common pattern in Hoon code is to return a `list` of changes, along with a
278−new state. You'll often see `quip` it used in Gall apps.
282+new state. You'll often see `quip` used in Gall apps.
279283
280284***
281285### `++trap`