leastfixedpoint

Archived tweet #8631 from the @leastfixedpoint Twitter Archive
RT @jneen_: @mcclure111 the dent. its size is the line's dentedness. indent/dedent for increasing/decreasing dentedness