Archived tweet #10725 from the @leastfixedpoint Twitter Archive

@cmeik I found learning to state and prove things properly about as difficult as (and aesthetically quite similar to) learning to program was, lo these many years past