Three Dollar Quill

Oof, I'm tired now. But I've put together a prototype for a matrix primitive that is the missing piece needed build up matrix dependency tracking compositionally. The hope with such a thing is that I can keep the scope of each individual operation down, verify each one independently, and then toss them together, rather than try to make a bespoke combinator that does exactly what I need, and then get it to work correctly.

Of course, I still need to make sure that this tiny thing I just drafted both works right, and can be used as a component to create something that actually accomplishes what I want. I'll try to check over those things tomorrow. For now, I'm really really really tired.

Good night.