I'm Applied Math student, interested mostly in Types, sometimes in low-level programming GH: https://github.com/Mr-Andersen
