A Good Lemma Is Worth a Thousand Theorems
12 points by susam 2 days ago | 3 comments
whateveracct 14 minutes ago
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
replyLPisGood 2 minutes ago
How has it helped in production software? Are you writing a lot of Haskell?
reply