Archived tweet #12113 from the @leastfixedpoint Twitter Archive

I gotta say, developing in Python sucks hard compared to developing-in-the-debugger in Smalltalk. Tooling/system issue, not a language issue. Programming with witnesses almost as good as programming with proofs 😅