leastfixedpoint

Archived tweet #11871 from the @leastfixedpoint Twitter Archive
@wilbowma A-normal (assuming you meant "... | value" at the end of the def of "tail")