[Jprogramming] Atop u at v with v of negative monadic rank

[Raul Miller]

On Thu, Nov 18, 2010 at 4:03 PM, Henry Rich <HenryHRich at nc.rr.com> wrote:
> I can't find a way to produce u " (v y) y with the tacit language.

Hypothetically, we could set up a gerund of the form
   u"0`(u"1)`(u"2)`(u"3)`(u"4)`...`(u"127)@.v

This relies on 127 (or some other arbitrary integer) being equivalent to
infinity for rank calculations.

That said, I have not bothered to work out the details of how I would
build that gerund.

And, obviously, treatment of the dyadic case would be a lot bulkier
than treatment of the monadic case.

-- 
Raul