Jacob Errington

135
reputation
5

McGill University computer science M.Sc. student.

My interests are mainly functional programming and applied type theory.