Three Dollar Quill

• Wednesday: I thought I'd found a problem with my implementation.
• Thursday: I realized that the problem was in my mind, not in my implementation (which, to be fair, is mostly in my mind at this point).
• Friday: I decided to take another shot at understanding refinement types.
• Saturday: I concluded that I should stop looking at pure sealing for now, and started thinking about how best to get feedback on this stuff.
• Sunday: Following some technical difficulties in the morning, I got back to getting things ready for feedback.
• Monday: I continued drafting my writeups, and didn't do much worth writing up on the blog.

Next week, I'm going to keep on writing stuff up until I've got enough rough drafts to properly refine.