I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.