A Good Lemma Is Worth a Thousand Theorems (2007)
whateveracct [3 hidden]5 mins ago
coyoneda lemma has been helping me out (in prod - at FAANG even!) for over a decade
LPisGood [3 hidden]5 mins ago
How has it helped in production software? Are you writing a lot of Haskell?
pfdietz [3 hidden]5 mins ago
(2007)