@@ -1,5 +1,5 @@
11---
2−sort: 9
2+sort: 8
33title: Examples
44---
55
@@ -82,14 +82,14 @@ up through the factors we're removing.
8282Line `11`: we start a loop. The product of the loop is cast to
8383`..main`, which is the core we're in (`+1.main`).
8484
85−Lines `12` and `13`: we terminate the loop, returning `..main`,
85+Lines `12` and `13`: we terminate the loop, returning `..main`,
8686if the square of the counter exceeds the range.
8787
8888Line `14`: repeats the loop, incrementing the counter, and
8989replacing the core with a version sieved by `reap`.
9090
9191Lines `16` and `17`: the `reap` arm, which produces a gate that
92−removes multiples of a factor from the field (set of possible
92+removes multiples of a factor from the field (set of possible
9393primes). The sample of this gate is the factor to remove.
9494
9595Line `18`: we declare a variable `count`, an atom, with the
@@ -235,7 +235,7 @@ common pattern. (You could put the molds and the gates in the
235235same core, but the compiler couldn't constant-fold gate samples
236236that use these molds, an efficiency cost.)
237237
238−Line `12` defines the `side` mold, an alias for `atom` (`@`).
238+Line `12` defines the `side` mold, an alias for `atom` (`@`).
239239A side is a half of the board, as a marked/unmarked bitfield.
240240
241241Line `13` defines the `spot` mold, a 2D coordinate.
@@ -246,7 +246,7 @@ output action), as a book (tagged union). There are two forms of
246246(reporting that `'X'` or `'O'` won a game.
247247
248248Lines `17` to `20` define the `move` mold, a game move. This is
249−either `[%x spot]`, `[%o spot]`, or `[%z ~]` to reset the board.
249+either `[%x spot]`, `[%o spot]`, or `[%z ~]` to reset the board.
250250
251251Lines `21` to `23` define the `game` mold, the game state. This
252252is an `a` side, the next side to move; a `z` side, the other
@@ -266,7 +266,7 @@ to a bit index.
266266
267267Line `31` is the `get` gate, which produces the bit at a `spot`.
268268
269−Line `32` is the `set` gate, which produces a new side with the
269+Line `32` is the `set` gate, which produces a new side with the
270270bit at a `spot` set. It works by ORing (`con`) `half` with the
271271binary exponent (`bex`) of the offset (`off`) of the spot.
272272
@@ -331,7 +331,7 @@ side `z`, and replaces `z` with `next`.
331331 ++ spot {x/@ y/@}
332332 ++ fact $% {$tie $~}
333333 {$win p/cord}
334− ==
334+ ==
335335 ++ move $% {$x p/spot}
336336 {$o p/spot}
337337 {$z $~}
@@ -358,8 +358,8 @@ side `z`, and replaces `z` with `next`.
358358 |= act/move
359359 ^- {(unit fact) game}
360360 ?- act
361− {$x *} ?>(w.mag ~(mo on p.act))
362− {$o *} ?<(w.mag ~(mo on p.act))
361+ {$x *} ?>(w.mag ~(mo on p.act))
362+ {$o *} ?<(w.mag ~(mo on p.act))
363363 {$z *} [~ nu]
364364 ==
365365 ::
@@ -376,7 +376,7 @@ side `z`, and replaces `z` with `next`.
376376 ?: ~(win bo next)
377377 [[~ %win ?:(w.mag %x %o)] nu]
378378 [~ mag(w !w.mag, a z.mag, z next)]
379− --
379+ --
380380 --
381381--
382382```