jardhu

Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic :godmode: