leastfixedpoint

Archived tweet #2581 from the @leastfixedpoint Twitter Archive
@BrianTRice The thesis bears a look. Interestingly this isn't expander-passing style which is where I went wrong at first.