leastfixedpoint

Archived tweet #10485 from the @leastfixedpoint Twitter Archive
@beka_valentine All those are great! I also enjoyed the pairing heap that @arntzenius posted a few days ago. And critbit/qp-tries are also very cool. On derivatives, I've enjoyed Brzozowski's technique and its generalizations to CFGs and PEGs.