leastfixedpoint

Archived tweet #5850 from the @leastfixedpoint Twitter Archive
@AmeriKayway It looked like it was an upper-level API, not baked into the kernel or anything. /cc @drdonnayates