leastfixedpoint

Archived tweet #9142 from the @leastfixedpoint Twitter Archive
@pkhuong Have you seen Aaron Turon's dissertation on Reagents? IIRC there is interesting proof method discussion in there