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