leastfixedpoint

Archived tweet #10018 from the @leastfixedpoint Twitter Archive
@jonathoda @arntzenius Thank you, that looks neat! On the to-read list it goes...