Three Dollar Quill

I found a paper on call-by-push-value that laid out how existential types should be set up, so I partially followed that, and this simplified the code a lot. I'm still not totally vibing with the idea of type variables standing in for free-standing computations; I skimmed the paper, so I have no idea whether they did that out of a sense of symmetry, theoretical interest, or if sometimes you really do just have to parameterize by the sort of computation you're doing.

Anyway, I figured out a major source of friction in modeling these recursive structures, so now I've got a weird template to follow for defining future nodes. It would be interesting to jump right into doing that, but I want to at least try to increase the coverage and document the code first. For documenting the code, I'm looking into embedding LaTeX, because honestly, I kind of don't want to use words to explain what these methods are doing.

However, I feel like I should take a bit of a break from this, because I've been polishing this code really hard. So, I'm going to try to put together an entry or two for WTFJam 2025.

But for right now, I need to get ready for bed.

Good night.