leastfixedpoint

Archived tweet #3109 from the @leastfixedpoint Twitter Archive
@psnively Ah, I've been working through cis.upenn.edu/~bcpierce/sf/ ! Have you seen it? Care to compare the 2?