leastfixedpoint

Archived tweet #4816 from the @leastfixedpoint Twitter Archive
@coreload I think there's a standard reduction to the halting problem; so yeah, undecidable