leastfixedpoint

Archived tweet #12061 from the @leastfixedpoint Twitter Archive
@haxor Because you could in principle give them semantics independent of their implementation; they form a little closed world. Especially language-like when they don't leak much through from the implementation language. This seems relevant: joergen-brandt.de/writing/2017-1…