Coding 2024-07-06
Just one more try, I mean, tool.
Just one more try, I mean, tool.
This could have been longer if I didn't start it ludicrously late. Oh well.
Short, but more meat than "oh no I messed up again".
I have tried out far worse ideas...
This is all a bit awkward to work with.
Insert regular expressions joke here.
Dafny, please tell me what's missing.
Poking some more at Dafny.
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.
Hooray for tooling!