Archived tweet #6792 from the @leastfixedpoint Twitter Archive

There's a similarity between my use of REPLish langs (Racket, Smalltalk) and of proof assistants (Coq). The computer keeps me honest.