=< (add a b)
|%
++ a 3
++ b 4
--
arms can use each other.
glossary
=< evaluates its head against its tail as subject.
=<(a b) is =>(b a), and =<(a [a=5]) is 5.
irregular forms:
arm:core is =<(arm core)
%: calls a gate with several arguments, gathering them into one sample.
%:(add 2 3) is 5.
irregular forms:
(gate a b c) is %:(gate a b c)
add sums two atoms.
(add 2 3) is 5.
|% 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.