Coding 2025-07-03
Defining "the thing I want to do" as a special case of "the thing I probably need to do" feels so nice and freeing.
Defining "the thing I want to do" as a special case of "the thing I probably need to do" feels so nice and freeing.
I'd feel slightly better about this problem if I'd anticipated it.
Yay, I made something.
Maybe if I add custom checking logic to some of the synthesizing nodes...
Preparing to make a bunch of onerous code changes.
Even if it won't deal with everything, it should still cut down the cruft considerably.
In spite of various factors, I think I can stick the landing.
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...
Kvetching.