leastfixedpoint

Archived tweet #9630 from the @leastfixedpoint Twitter Archive
@DRMacIver @slava_pestov (Seen that way, Smalltalk is kind of "present tense", and Coq "future tense"...)