Three Dollar Quill

I had a whole bunch of stuff that I had or wanted to take care of today, and that ultimately translated into "No time to consider stuff for Dafny."

I'm traveling tomorrow and the day after, and my plan with that is to either get something done with Dafny (either proving some basic facts, or fixing up the files I wrote before I understood what project files were capable of), or to write up some stuff from a few months ago that I may as well at some point, hopefully soon.

Right now, though, I want to close stuff down and get to bed.

Good night.