math : : type theory : : rust a techie and whore for theoretical computer science en/pt (I switch between languages a lot sorry)