Three Dollar Quill

All right. At this point, the types are... less wrong. I'm highly skeptical that I've gotten this stuff to a completely idiomatic state. I'm now getting back up to speed on the right way to actually carry out the parsing.

Looking over my previous disorganized notes, I think my plan is to try to do things kind of naively, which means putting together the equivalent of a do-whole loop, but also needing to figure out how to translate the non-local references in the Python version...

Although, if I end up feeling up to writing Python for hobby stuff again, the insights I had around representing this stuff in OCaml could be helpful as far as writing type annotations that make sense.

Anyway, it's late and I'm tired, so I'm cutting this off now.

Good night.