type systems are censorship. proof assistants? how dare you imply I would need to prove anything

…fuck, I’m flashing back to the one time a Verilog developer told me formal verification wasn’t real because mathematicians don’t understand engineering