Closed lkowalick closed 6 years ago
Hmm. While I appreciate the idea, I don't think I can include this. Experimenting with k5 and k6 I can find no evidence of an overload for dyadic _
which behaves along these lines. I don't hold myself to rigid compatibility with Arthur's interpreters, but I try to be sparing about introducing novel features to the core language.
That's fine. It was also an exercise to see if I could actually add something to the interpreter.
In k4, there is another overload of
_
for the forml_n
, where we remove the element at indexy
fromx
. Again, not having a k5/k6 interpreter, but using k4, I get thatI have some code attached and I tried to make it similar to what was there, but a few monkey wrenches made it a little longer than I would have liked. Any shortcuts would be appreciated