Three Dollar Quill

Okay. I kind of slacked on Conlang Year today because I already did the prompt. Probably to get caught up on work put in, I should come up with a bunch of example sentences so I can lexicalize stuff.

But for now, I mostly focused on Impliciula. I documented the classes I added yesterday, so that's all set, and now I just need to dig myself out of the hole I just finished digging, coverage-wise. I'm planning ahead some for testing existential types. This will need yet another new set of nodes that I didn't realize I was going to need so soon, this time based around record types.

Record types have been a bit of a bother to me, because I didn't quite understand why they have to be computations in CBPV, but simultaneously my implementation of CBPV plus bidirectional typing is pushing them to be computations for what can't be the same reasons. My main concern with this, beyond, "I don't get it" is that I'm not sure what the representations of these things will look like, but potentially this is all just a matter of giving thunks a variety of representations, depending on what type they contain.

Anyway, especially after last night, I really need to get some sleep.

Good night.