the program is a gate from a todo list and an action to the next todo list. snoc adds to the end of a list, snag gets the item at an index, and snap replaces it.
finish it: %add a new todo, not done, at the end; %done marks one done.
=> sets the subject to its head, then evaluates its tail against it.
=>([a=1 b=2] b) is 2.
|% makes a core: a battery of named arms, each written ++ name.
reach an arm back out with =< or arm:core.
=< a |% ++ a 5 --
is 5.
^: turns a type into a factory gate that molds any noun to that type.
(^:(@ud) 5) is 5.
$: makes a tuple mold, naming each face in a cell.
$:(x=@ y=@) is the mold [x=@ y=@].
$= wraps a mold with a face, naming the value it produces.
$=(x @) is the mold x=@.
$% makes a head-tagged union: each case is a cell led by a @tas tag that picks it.
$%([%a p=@] [%b q=@]) is an %a cell or a %b cell.
|= makes a gate: a function with one named sample, then a body.
the body runs with the sample bound.
call the gate to run it.
(|=(a=@ (add a 1)) 4) is 5.
list is the type of a null-terminated sequence.
(list @) is a list of atoms; the empty list is ~.
%= resolves a wing with some faces changed.
=/(a [x=1 y=2] a(x 9)) is [x=9 y=2].
irregular forms:
a(x 9) is %=(a x 9)
$(a b) restarts a loop with a changed to b