leastfixedpoint

Archived tweet #1401 from the @leastfixedpoint Twitter Archive
@sstrickl indeed! It might have to be a beginning-of-next-semester party :)