leastfixedpoint

Archived tweet #1768 from the @leastfixedpoint Twitter Archive
@jdanbrown I hope to make it, yeah. Office hours immediately before though.