leastfixedpoint

Archived tweet #3172 from the @leastfixedpoint Twitter Archive
Folding clothes and working through cis.upenn.edu/~bcpierce/sf/. Fold one item, do one proof. Repeat.