Coding 2025-07-27
If I play my cards right, I'll get to bed at a somewhat more reasonable time.
Today, I took things easy, and then focused on dealing with various papercuts I'd identified around the typing code. I finished bidirectionalizing the kinding, and this dealt with a bunch of small annoyances. Going from there, I could take another crack at figuring out constrain contexts, but there are some bits of code that I haven't fully worked out what they "should" do, which are now a little bit easier to rewrite once I know what I want from them.
So, my plan is to wrap up quickly, then review the sources I'm using while I wind down in bed. Let's see about that... right now.
Good night.