Coding 2024-01-17
I don't remember reading this chapter before, which is kind of weird.
I don't remember reading this chapter before, which is kind of weird.
Good job with Dafny, bad luck with time management.
No actual coding today, but I didn't want to put this entry out of context.
It's going to be really jarring when I'm not just checking the book's work for going from recurrence relations to closed forms.
Let's see how well the Mystery Code I installed to get this post to render works.
Still a little rough around the edges...