leastfixedpoint

Archived tweet #1692 from the @leastfixedpoint Twitter Archive
@LH Dynamic contract checks work OK too: http://www.ccs.neu.edu/home/matthias/papers.html#icfp2002-ff etc