Next.js Hacker News
A Good Lemma Is Worth a Thousand Theorems (2007)
22 points by susam 1 day ago | 3 comments
  • whateveracct
    coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
    • LPisGood
      How has it helped in production software? Are you writing a lot of Haskell?
  • pfdietz
    (2007)