Archived tweet #10726 from the @leastfixedpoint Twitter Archive

@cmeik That is to say, I'll one day look back at the proofs I put through last year and critique them the way I critique Pascal programs I wrote when I was 14