@@ -26,7 +26,7 @@ its argument, an atom:
2626=< abet:main :: 4
2727|% :: 5
2828++ abet :: 6
29− (sort (~(tap in field) ~) lth) :: 7
29+ (sort ~(tap in field) lth) :: 7
3030:: :: 8
3131++ main :: 9
3232 =/ factor/@ 2 :: 10
@@ -76,7 +76,7 @@ with the computation completed. `abet` then extracts the result.
7676```
7777|% :: 5
7878++ abet :: 6
79− (sort (~(tap in field) ~) lth) :: 7
79+ (sort ~(tap in field) lth) :: 7
8080```
8181
8282Line `5`: we wrap a core around our existing subject. The
@@ -84,10 +84,9 @@ Line `5`: we wrap a core around our existing subject. The
8484remain accessible.
8585
8686Lines `6` and `7`: the `abet` arm, which produces the field as a
87−sorted list. `in` is the set core; `tap` is an arm which
88−produces a gate that exports the set as a list, prepending it to
89−a tail which is nil in this case (and most cases). We sort this
90−list in ascending order with `lth` (less-than).
87+sorted list. `in` is the set core; `tap` is an arm that exports
88+the set as a list. We sort this list in ascending order with
89+`lth` (less-than).
9190
9291```
9392++ main :: 9