leastfixedpoint

Archived tweet #11497 from the @leastfixedpoint Twitter Archive
@disconcision I'm so tempted to implement a command-line tool that does a single step of reduction on one of these