Weekly Roundup 2026-02-17
- Wednesday: I decided to start reorganizing modules.
- Thursday: I had some aspirational ideas about eventually improving the documentation...
- Friday: I got far enough into the refactor to ponder pulling in more libraries to make the ergonomics nicer.
- Saturday: I finished the refactor, and then moved on to 1ML instead of cleaning up what I've got.
- Sunday: I started thinking in earnest about semantic types, and came up with some ideas that seem interesting, but may or may not work.
- Monday: Not fully done with semantic types, I started poking more vigorously at elaboration.
Next week, I'm going to try to lay out the progression of things to work on; I've been sketching out how to get algebraic effects working, but I really shouldn't try to put any of this into the code yet, since it's only more moving parts, and I've got plenty of things to make sure I have working already.