That's a very surprising angle of questioning. Are you writing some sort of comp...

		powersnail 10 months ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... That's a very surprising angle of questioning. Are you writing some sort of compile-time-only programs?