Pattern Matching with Dependent Types

Just a few slides I knocked together while the washing machine was going. I suppose they're kind of a motivated introduction to the stuff I did in my thesis. Hopefully, with the passage of a little time, I've started to talk about the wood as well as the trees.

These slides have been written largely in accordance with my new colouring conventions. There are a few colour errors: see if you can spot 'em.