leastfixedpoint

Archived tweet #1832 from the @leastfixedpoint Twitter Archive
@vsedach i.e. a type error, not a failure of compositionality caused by failure of isolation