Same here. Let J be free to arrange at will. Conceptually having an order on the domain means talking about yet another kind of ds. (in the integral case, that’s good old arrays)
Am 01.02.22 um 08:55 schrieb Elijah Stone:
I still do not think of maps as having order.
-- ---------------------- mail written using NEO neo-layout.org ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
