leastfixedpoint

Archived tweet #12063 from the @leastfixedpoint Twitter Archive
@graydon2 @OCamlLang I think you've nailed it!