Coding 2025-07-09
I've picked out seven basic structures of statement about relations between values and types, etc, in the System F code. Once I've generalized those to kinds and computations, I should have all of the planning I need done to get back into the code. No promises, though.
I was once again focusing on other things today and sort of taking it easy, so I once again did that work in the space of a few minutes. But I've got that information, and I can convert it into a checklist and start working through it. Hopefully, I can get on that tomorrow, but if not, oh well.
Anyway, I want to get to bed now.
Good night.