Three Dollar Quill

• Wednesday: I wrote up a list of properties a binary relation can have, that seemed either useful or easy to describe.
• Thursday: I learned the basics of Dafny project files, which seem really useful for anything involving more than one file, and anything involving particular tweaks to the verification process.
• Friday: I tried to prove some bedrock theorems in Dafny, and had a bad time with that, but I did learn a little about the module system.
• Saturday: My day was too busy to do much that interested me.
• Sunday: I pulled Demiurgent Business out of mothballs to publish the jam and jam-adjacent versions, which aren't really fleshed-out, or tested, but they are short, at least.
• Monday: I figured out how to prove that bedrock stuff from earlier.

Next week, maybe I'll keep on with this, maybe I'll wind up glomming onto one of the other half-dozen-plus projects I have lying around.