leastfixedpoint

Archived tweet #8986 from the @leastfixedpoint Twitter Archive
@mjg59 Fave example of case where (most) type systems won't help: reversing order of i,j in nested for loops