Coding 2025-07-05
Making progress, and, unrelatedly, having a bad time.
Making progress, and, unrelatedly, having a bad time.
Might have gotten more done today if I hadn't been tired since like 8 AM.
Maybe if I add custom checking logic to some of the synthesizing nodes...
Even if it won't deal with everything, it should still cut down the cruft considerably.
Feels like I used up most of my brain on this last bit.
On the final stretch...
Either this works out or it doesn't. It honestly seems like about fifty-fifty at this point.
Transcribing data to ignore the stomach cramps...
I was feeling lightly burnt out, so I tried to take things easy...
It's a little annoying that I haven't come up with tests that typecheck...