leastfixedpoint

Archived tweet #11984 from the @leastfixedpoint Twitter Archive
@defnotbeka I guess the other thing is its trivial type system, making separate (re)compilation trivially easy.