Archived tweet #9623 from the @leastfixedpoint Twitter Archive

@DRMacIver I mean, if you set aside the thousand-yard stare I've developed, it's definitely true that learning Coq was a mind-expanding experience that taught me whole new ways to think about programming, logic and computation, and that I don't regret.