Day 5: Rodl (Glide)

Today I've been working on Rodl, a new Growl implementation, and most importantly, thinking about the prospects of lowering to Lambda-compose as an IR, and I feel like this is the best course to go, as it lifts the complexity from the type system to the lowering, which is more tenable and easier to manage.

This lowering is trivial until you get into recursive (and mutually recursive) functions. I talked about it more on my wiki-page "On lambda compose", so I won't repeat what I said in there.