Weekly Roundup 2025-07-15
- Wednesday: I worked on generalizing the kinds of statements the type checker can make on failure.
- Thursday: I had some ideas for representing those statements as data.
- Friday: I preparation for this work, I wrote string representations of (most) types and terms.
- Saturday: I finished off the string representations, for now.
- Sunday: Zoned out.
- Monday: I finally wrote some decent draft code of this stuff.
Next week, I'm going to refine the draft code into something nice and streamlined to use. Also, I'm going to look for other stuff to focus on as well.