leastfixedpoint
~tonyg
Projects
Blog
Contact
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.