I'm interested in way too many things, including: mathematics, computer algebra, functional programming, dependent types, compilers, Haskell, Agda, Idris, cryptography, the c64, synthesizers and electronics.

You can find some of my stuff on darcshub and Hackage, too.

Contact: username at gmail dot com