Live coding from the workshop

Here are the changes I made while live coding in the workshop -- or at least the state of the files at the end of the session.