On the off chance anyone forgot or is not sick of hearing it, CC is still
superfluous given a conjunction called "ti" (or redefinition of `) that builds
a gerund from nouns in addition to verbs
1 (& :. (((-ti)(`:6)) & ].)) o.
1&o. :.(_1&o.)
but also note that the original {{-m}} definition met the "semi-tacit" criteria
of returning a tacit expression without any significant computation
but I am liking the CCC definition (more than similar/equivalent ACC). Which
can also be used to construct uACu from an A and C with:
((([.A) C [.) a:)
if AC were uA(Cv), original request could be simplified as
(& :. ({{-m}} & ) NB. or with the ti construct
On Friday, October 15, 2021, 03:57:46 a.m. EDT, Elijah Stone
<[email protected]> wrote:
On Fri, 15 Oct 2021, Henry Rich wrote:
> oi =: (& :. ((-([.].)) & ].)) o.
> 1 oi
> 1&o. :.(_1&o.)
Putting the V N bident to good use already, I see :)
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
