Weekly Roundup 2026-02-10
- Wednesday: I pondered how to reconcile 1ML with the syntax I want to compile it to.
- Thursday: I took some notes on areas I want to focus on.
- Sunday: I came up with an idea, which I haven't yet tried, for translating 1ML expressions to call-by-push-value terms.
- Monday: I took some notes on changes I want to make, and sketched out a skeleton of new modules to fit my existing code into.
Next week, I'm going to try to fill in that skeleton, and maybe have another crack at some Python-level typing issues I'm hitting. The point is, soon I'll be ready to prototype the 1ML translation.