Three Dollar Quill

• Wednesday: I was tired and sickly.
• Thursday: I decided to try working on Impliciula.
• Friday: I made some progress on the prototype, and thought about taking it beyond a prototype.
• Saturday: I put together a lot of the scaffolding for working on Impliciula.
• Sunday: I worked on the actual code, and also more scaffolding.
• Monday: I maxed out the various metrics I'm taking, and pondered how to elaborate up to System F.

Next week, I'm going to be taking a little detour, because I decided to clarify the calling semantics of my simply-typed lambda calculus implementation, and I know without checking that the changes I made utterly cooked my test suite.