Weekly Roundup 2026-03-10
- Wednesday: I started to get a better handle on how things should work for semantic types and elaborations.
- Thursday: I skipped ahead a little in planning, to try to avoid painting myself into a corner.
- Friday: I got LaTeX basically working, although there were some... issues.
- Saturday: I attempted to work out the implications of the changes I'm making to 1ML, and concluded that they're probably fine.
- Sunday: Nevertheless, I did have to put a little more thought into things, because the elaborations are more annoying than the types (they kind of have to be, since working out the types without the elaborations is workable-ish, but vice-versa is either difficult or literally impossible).
- Monday: I started thinking that the ideas I had for expressing purity notations really didn't make sense, and I should try doing it the paper's way for now.
Next week, maybe I keep with this, maybe I find something else to focus on.