Remix.run Logo
A Good Lemma Is Worth a Thousand Theorems (2007)(sites.math.rutgers.edu)
22 points by susam 2 days ago | 3 comments
whateveracct 2 hours ago | parent | next [-]

coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade

LPisGood 2 hours ago | parent [-]

How has it helped in production software? Are you writing a lot of Haskell?

pfdietz 2 hours ago | parent | prev [-]

(2007)