## Weekly Roundup 2024-02-06

- 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.