Three Dollar Quill

• Wednesday: I made some initial attempts at a plan for updating the semantics of Impliciula.
• Thursday: I may or may not have been overcomplicating things. Legitimately not sure yet.
• Friday: Oof, these are hard to read back. I get that math terminology is weird for taking an everyday term and giving it a very specific technical meaning, but I think "give the exact same term different definitions in different contexts" is worse.
• Saturday: I redid the planning, with a better understanding of what any of this stuff is actually supposed to do.
• Sunday: I tried to figure out what's going to happen with effects, and didn't really make much progress.
• Monday: I switched gears slightly to pre-planning for algebraic effects. My hope is that this will be a not-too-extreme extension to 1ML with effect polymorphism.

Next week, I'm going to try to balance figuring stuff out here with not burning myself out.