Sun Jul 5 15:11:05 EDT 2020

What to do when tired?

I guess this is going to be more of a thing as time progresses.  When
I'm tired, I cannot hold a lot of details in my head, but I have
relatively little problems doing local refactoring.

If there is a type system that can catch silly mistakes, then this
remains locally focused and is much less draining.