Weekly Roundup 2025-08-05
- Wednesday: Didn't get much done.
- Thursday: Still didn't get much done.
- Friday: I made some progress on my efforts to rework typing in the System F layer.
- Saturday: I managed to deal with the problems I was running into, so what's left now is to grind through all of the type errors.
- Sunday: Okay, so, grinding through the type errors is going to be more tedious than I expected.
- Monday: So, let's see about taking a break for a bit.
Next week, I'm going to try and focus on Villeins of Tomorrow for a bit. I have some ideas for Impliciula, but they're not all-the-way baked yet.