Learning Koka 2022-08-12

By Max Woerner Chase

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.