leastfixedpoint

Archived tweet #6782 from the @leastfixedpoint Twitter Archive
Hard-disk crash. Lost a day's work :-( :-( :-( Wish I'd pushed to github.