🚀 go-pugleaf

Can anyone give me some references to papers containing APL identities,
axioms, and theorems?  I am interested mainly in "classic" APL, as
opposed to nested array versions and array theory, but if this sort of
thing is covered in papers on those topics please let me know about
those papers also.  I seem to remember a paper (papers?) by Iverson
that fairly exhaustively treats this topic.

An example of the kind of thing I'm interested in is the following
identity for the reduce operator:

 f/V    <-->   (f/N take V) f f/N drop V

The above is the justification for having "f/iota 0" return the identity
element for f if it exists (consider the situation in which N = rho V).

					- Greg Johnson
					  ...!ihnp4!cornell!gj
					  gj@cornell