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.