Archived tweet #9631 from the @leastfixedpoint Twitter Archive

@DRMacIver @slava_pestov Another way of putting it: both Smalltalk and Coq effectively ask "here are all the pieces of the computation state; how would you like to proceed? Take one apart, put two together, ...?" So: what pieces of comp. st. exist at a given moment in Hypothesis? What next steps exist?