leastfixedpoint

Archived tweet #11935 from the @leastfixedpoint Twitter Archive
@lexi_lambda (Certainly, when I ripped off the TeX model for gui layout for syndicate, I made it Nat instead of Int)