About

I write programs and I learn things. For the last several years I’ve been especially interested in type systems, programming languages (especially Haskell), and general math topics.