Three Dollar Quill

Okay, so.

It turns out one of the things I wanted to do last time isn't straightforward to accomplish in Dafny, but I may have found a way to do it. An extremely cursed, messed-up-seeming way.

I don't feel like describing what I was trying to do, or verifying that my attempt at a fix actually works. I'll do that later.

For now, I'm going to read and wind down.

Good night.