leastfixedpoint

Archived tweet #10167 from the @leastfixedpoint Twitter Archive
@aidanskinner So, like all good formalisms, it captures existing practice to a T!