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