Three Dollar Quill

As I pointed out in the roundup, my initial plan for automatically reformatting tables was completely wrong for the majority of them, but I did manage to throw something together, which took the transcription process from "likely to cause significant harm to my mind, body, and soul" to "eh, pretty tedious". That's why I'm not done, but there's no reason I can't finish it up sometime when I have half an hour or so free.

Once that's done, I'll have to remind myself how loading resources works; I remember it basically making sense, but feeling somehow slightly less convenient than I'd like.

Back on the Impliciula side of things, I'm still reading up on types, but I'm also shoring up my knowledge of the stuff that I want that isn't covered by the textbook. I think the main thing I'm missing right now is stuff around continuations.

Right now right now, though, bed.

Good night.