Coding 2024-01-29
I'm not retyping those names.
I'm not retyping those names.
Cutting edge technology, in that there are many edges to cut oneself on.
I don't intend to inflict these names on anyone else more than this post already does so.
No idea if this will work. Slightly worried it'll drain my battery. Oh well.
Uuuuuugh again
I really hope "if you're missing certain asserts, it just spins its wheels forever" is something that's going to go away.
It's not a great feeling to run into these sharp edges, but whatever.
Uuuuuugh
I should not be trusted to know what is not possible with Dafny.
I can't tell if it needs to be like that.