Three Dollar Quill

• Wednesday: I had some troubles with Dafny, so I set my sights a little lower.
• Thursday: Screen headache.
• Friday: I started trying to take rigorous definitions of limits, and convert them to Dafny code.
• Saturday: I came up with a game plan for (part of) the infinite limit representation.
• Sunday: I ran into bizarre issues with Dafny that sound like bugs, or at least missing features, but I lack the context to understand the stuff about how it's "supposed to work", so eh.
• Monday: I got past the issues, made everything verify, then looked at the file and thought "that's too big; I should learn how Dafny projects work so I can break this into at least four files".

Next week, I'll probably do that; I also have a few other things that I've started messing with recently, and a few things that I've been messing with on and off.