Archived tweet #9625 from the @leastfixedpoint Twitter Archive

@DRMacIver The kinds of mistakes I made (make?) in Coq were quite comparable to the kinds of mistakes I made in my programs when I was 14. Bad names, no structure, no modularity, poor reuse of standard libraries, etc. It was an amazing feeling being *bad at programming* again.