Coding 2024-02-14
The screens have much information about how to build software artifacts, but also, they have the terrible terrible light.
The screens have much information about how to build software artifacts, but also, they have the terrible terrible light.
Train of thought jumped the tracks and landed on another set of tracks.
Closing in on a design with a speed normally reserved for something that could get spooked.
Gathering requirements
The category and tags are all wonky now, but I feel committed, so oh well.
It's a little weird that this works, except that there's no reason it shouldn't.
A potential victory in the fight against Dafny's syntax(!)
Pardon my extremely unmotivated notational choices.
I accomplished a quantity of things that I find somewhat surprising.
The whole setup still looks a little strange.