the first few paragraphs lay out the precise extent to which this matters. there's a snippet of code (`x^x*/:x:2_!100`) in a language (k7) using a feature ("rank-sensitive" set difference) not present in previous langs…
A mite of pedantry: the J train (a b c d) is a hook with a fork on the right, and so dyadically acts like a(x, c(b(y), d(y))) Roger himself has dismissed [0] hooks as an unfortunate result of J4's myriad train rules,…
the first few paragraphs lay out the precise extent to which this matters. there's a snippet of code (`x^x*/:x:2_!100`) in a language (k7) using a feature ("rank-sensitive" set difference) not present in previous langs…
A mite of pedantry: the J train (a b c d) is a hook with a fork on the right, and so dyadically acts like a(x, c(b(y), d(y))) Roger himself has dismissed [0] hooks as an unfortunate result of J4's myriad train rules,…