Coding 2025-01-20
I did not, in fact, make this quick.
I did not, in fact, make this quick.
This is going to be a delicate refactor, because on paper the code is already doing most of what it should be, it's just that the implementation is confusingly non-ideal.
Taking it easy so I can take care of some business.
Varying levels of intuition arguing about whether "static ref counting" is a thing that can possibly work.
At some point I'll have a concrete idea of what to do next...
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
I'm closing in on having a sense of whether Impliciula is, like, a workable idea.
Progress on various fronts, but too tired to explain.
I hope I at least converge on a consistent architecture with this stuff...
Another one that's safe to skip.