leastfixedpoint

Archived tweet #3892 from the @leastfixedpoint Twitter Archive
@zooko ... using the same interpreter you used for your concrete semantics, modified only very lightly.