User Jacob Errington - Mathematics Stack Exchange

Jacob Errington

501

reputation

Montreal, QC, Canada
Member since March 16 2015
59 profile views
Last seen Dec 09 '21 at 20:22

McGill University computer science M.Sc. student.

My interests are mainly functional programming and applied type theory.