leastfixedpoint

Archived tweet #4890 from the @leastfixedpoint Twitter Archive
@arrrsmith @elplatt @SeanTAllen More theory: lenses ftp://ftp.cis.upenn.edu/pub/mbgreen/papers/lenses-short.pdf