Weekly Roundup 2025-09-09
- Wednesday: I didn't really do things, so I tried to plan things.
- Thursday: I picked working on MOTR, and ended up just updating it to maintain Mypy compatibility. I did figure out what I want to cover, but not how to cover it.
- Friday: I didn't do much, but I did write some stuff up that I didn't show off.
- Saturday: I did the easy test updates for simply-typed lambda calculus and system f in Impliciula.
- Sunday: I updated the remaining tests, and tried to work out how existential types do useful things.
- Monday: I hopefully fixed a bug around existential types, and tried to figure out what my next priority should be for Impliciula.
Next week, I will either endeavor to properly document Impliciula, figure out some aspect of what is going on with MOTR, or do something else entirely.