leastfixedpoint

Archived tweet #8138 from the @leastfixedpoint Twitter Archive
@BrianTRice Interesting argument. Counter: but code isn't data! They're ~dual. Shouldn't it look different ("dual"??)?