Three Dollar Quill

I'm not really in a space for... accomplishing things, currently. Even so, I really do want to make some progress. I was just taking some notes on what I expect Impliciula to look like after I smush all of the features together.

Now that I have a general idea of how 1ML works, and a vague idea of how to integrate effects, I want to try and really sink my teeth into refinement types. Not happening now, and not sure if it's happening tomorrow, but soon. Right now, though, bed.

Good night.