The current defn makes it possible to define f=: v0`v1`v2} such that the monad f uses m} monadically and the dyad f uses m} dyadically.
----- Original Message ----- From: "Sherlock, Ric" <[email protected]> Date: Monday, July 20, 2009 17:04 Subject: [Jprogramming] [Jrogramming] Gerund form of amend To: Programming forum <[email protected]> > The dictionary entry for m} > http://www.jsoftware.com/help/dictionary/d530n.htm > > gives the equivalences: > > x (v0`v1`v2)} y ↔ (x v0 y) (x v1 y)} (x > v2 y) > (v0`v1`v2)} y ↔ (v1 y)} (v2 y) > (v1`v2)} > y ↔ (v1 y)} (v2 y) > > Is there a reason that the 2nd one is not: > (v0`v1`v2)} y ↔ (v0 y) (v1 y)} (v2 y) ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
