A Good Lemma Is Worth a Thousand Theorems (2007)

3 comments

• whateveracct 2 hours ago

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

  [-]
  • LPisGood 2 hours ago

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

• pfdietz 3 hours ago

  (2007)