On Fri, Apr 13, 2012 at 9:06 PM, David Ward Lambert <b49p23t...@stny.rr.com> wrote: > Bravo! Raul made these basic concepts concrete > >> arrow=: 2 :0 >> assert. n -: y >> u y >> ) >>...etceteras
Keep in mind that the association between source and target can be represented in any of a variety of ways. My current best understanding is that an arrow consists of a triple: source, target, distinction And the "distinction" part follows its own rules which depend on the category. (In the above example, n was source u n was the target and u itself was the distinction.) -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
