Three Dollar Quill

Today, I forgot about how I wanted to get kind checking done right-er, and focused on nothing in particular, but I did just now try to update some of the code that I maybe want to use to thread contexts through the typing code. I'm thinking about that, and kind of vacillating between "Well, I need to try something." and "I really don't want to try anything that I've considered so far."

So, once I have a bit more time and energy, I'm going to try to come up with more ideas. For now, I've been too slow getting ready for bed. I'll get on that now.

...

Okay, I'll get on that now.

Good night.