Diary 2024-06-29
Still safe to skip.
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.
I wasn't expecting some of these issues, but in retrospect, I can't imagine what else the documentation would have meant.
Quick thoughts on the layouts... the "Relation" module should be separate, and all of the rest should be focused around "real-valued sums"...
Let's get interesting...
Looks like I have no choice but to make actual progress.
Somewhat productive in spite of travel.