Introduction #

This is a notebook to keep stuff that I write down that I think other people might be interested in. I don’t quite know what I’m going to put in it yet, but we’ll see. I may come back to this page and add more details about what everything is.