Weekly Roundup 2026-01-27
- Wednesday: I made some progress on Impliciula, and also on other things, but there were some issues I didn't see a way around.
- Thursday: I described the state of another project, which I'll try to come back to at some point.
- Friday: I made a little more progress on Impliciula.
- Saturday: I fixed most of the problems I was running into with Impliciula, thereby allowing me to run into exciting new problems.
- Sunday: I made slow and steady progress on Impliciula.
- Monday: I ran into an ergonomics issue, and wasn't sure whether to try to fix it by implementing subsumption or overriding equality.
Next week, I'm going to try to implement subsumption. This is going to require some care, because it involves every type and kind, and potentially every type checking method.