I think negative level is wrongly defined.  (u L:(-r) y)  applies u at level ((L. y) -r), which measures from the bottom of the tree.  What I want is a form that applies u two levels down, say, which I can't get now.  I propose to change L: to do what I want.

Has anyone found a use for L:(-r) using the current definition?

My proposed change is described at https://code.jsoftware.com/wiki/System/Interpreter/Requests#Change_definition_of_negative_level_.28strawman.29

Henry Rich

---
This email has been checked for viruses by AVG.
https://www.avg.com

----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to