McGill University computer science M.Sc. student.
My interests are mainly functional programming and applied type theory.