Three Dollar Quill

I'm working on stringifying everything nicely. I got a bunch of stuff done, including existentials, which are probably right, but confusing. I got to thunks, and then kind of zoned out for a few hours. Once I figure out the right representation of thunks wait never mind, I got it, now all that's left is handling universal types and the associated terms. That should be pretty quick once I've had some rest.

Anyway, I'm not going to stay up much later, so I'll call this entry here.

Good night.