Three Dollar Quill

• Wednesday: I started to get a better understanding of all of this code that I wrote.
• Thursday: I speculated about how birds would divide up their higher-dimensional color space.
• Friday: I thought a lot about how to name a new utility function that I decided I needed.
• Saturday: I broke everything, but in a "something stronger will rise from the ashes" kind of way.
• Sunday: I got into an argument with the type checker.
• Monday: I've got an outline of an explanation of the typing concepts.

Next week, I'm actually going to try to switch to looking into F-ing modules, to see whether the restrictions I'm currently placing on System F make it unsuitable as a substrate for the module system.