leastfixedpoint

Archived tweet #5605 from the @leastfixedpoint Twitter Archive
@asumu Really! They default to *locked*? That's a poor default.