Weekly Roundup 2024-06-18
- Wednesday: I made more progress clarifying how code in MOTR relates to other parts of itself, and, indeed, how it doesn't.
- Thursday: I got all the way to the final logical step in all of the work I was doing there, and then paused in case I was making a bad decision somehow.
- Friday: Nope, perfect idea. And for a followup... certainly a concept.
- Saturday: Switched gears to inlining a hierarchical... singledispatch... thing... The code is shorter and easier to understand, that's the important thing.
- Sunday: I finished with all of these distractions, and then had to face up to increasing coverage somehow, which, man...
- Monday: I guess I've got to actually implement new functionality, what a pain.
Next week, I will carefully plan the new wrappers in MOTR, and not rush in. I'm also thinking of going back to messing around with Dafny.