Interested in functional programming, category theory, Homotopy Type theory, program verification and other funky shit.