Weekly Roundup 2024-12-03
- Wednesday: I tried to understand what the COCHIS paper was saying about Scala.
- Thursday: I decided to move on from that specific section for now.
- Friday: I determined that I don't understand System F well enough to understand COCHIS.
- Saturday: I decided to muddle through, and to try to adapt COCHIS to the ML-like framework I want to work in.
- Sunday: OCaml is complicated.
- Monday: I decided to take a break from Impliciula, but came up with a general plan for how to proceed when I feel I'm ready.
Next week, we'll see. I'm working on revisiting MOTR, and I'm also poking at some other projects that I'd put down for a while.