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".
Very, very safe to skip.
Somewhat more content, but, like, not much more.
Still safe to skip.
Very safe to skip.
Insert regular expressions joke here.
Dafny, please tell me what's missing.
Poking some more at Dafny.