Yes, but if you can actually drive all that out to the very top level and leave ...

		thfuran 5 days ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... Yes, but if you can actually drive all that out to the very top level and leave everything everything else clean, that’s a huge improvement over how many programs are structured.