Three Dollar Quill

Well, I thought today I was going to work out the details of the reworking I want to do of punq, and I did work out some good ideas in my head, but mostly I ended up getting reacquainted with Structured Data and getting the tests to pass again, and learning Lean for some reason.

Good night.