Learning Koka 2022-08-12
I'm having a kind of distracting few days, so I might not get much written for a few entries.
I did mess with some other stuff in Koka earlier today, but I didn't have much luck; it looks like some of the generics stuff I wanted to do is not super obvious in the documentation, if it's even possible.
Anyway, I'll write some quick obvious code for the HTML stuff.
Hm, wasn't as quick as I thought, and also I found some limitations in the vim plugin for Koka, which isn't a surprise, since I think it's a third-party thing.
I don't want to stay up overlong, so I'm going to start winding down now.
Good night.